Ivan brings a ton of experience in program analysis and vulnerability detection, including familiarity with symbolic execution and fuzzing. He also brings experience with publications, having published many of the top security conferences. Welcome Ivan!