Generate a tailored SOP for Dr. Jean Baptiste Jeannin. Improve your application with a focused, well-structured draft.
Jean-Baptiste Jeannin is an Associate Professor in the Department of Aerospace Engineering at the University of Michigan – Ann Arbor. His research primarily focuses on formal verification and safety in cyber-physical systems, particularly those related to aerospace software systems. With a robust background in programming languages, logic, and security, he applies his expertise to the aerospace domain. Prior to his current appointment, he worked as a Post Doctoral Fellow at Samsung Research America, collaborating on formal analysis of the Next-Generation Airborne Collision Avoidance System (ACAS X) and contributing to various projects at Johns Hopkins Applied Physics Laboratory. He completed his Ph.D. in Computer Science at Cornell University in 2013, where he was guided by Dexter Kozen. Additionally, he holds a Master of Engineering from Cornell University and a Diplôme d’Ingénieur from École Polytechnique in France. In his spare time, he enjoys flying small airplanes.
University of Michigan • Ann Arbor, MI
Teaches and conducts research in aerospace engineering with a focus on formal verification and safety in cyber-physical systems.
Samsung Research America • Mountain View, CA
Led formal analysis efforts for the ACAS X project and collaborated on various research initiatives.
Department of Electrical Engineering and Computer Science