Jean-Baptiste Jeannin

Assistant Professor


3017 François-Xavier Bagnoud Aerospace Building
1320 Beal Avenue Ann Arbor, MI 48109-2140

Primary Website


Ph.D. Computer Science, Cornell University, 2013
M.Eng. Computer Science, Cornell University, 2008
Diplôme d’Ingénieur, École Polytechnique, France, 2007
Teaching: ^top


AERO 552 Aerospace Information Systems, Fall 2017

Research Interests

Professional Service

Member of the Association for Computing Machinery (ACM)


Jean-Baptiste Jeannin is an Assistant Professor in the Department of Aerospace Engineering at the University of Michigan – Ann Arbor, where his research focuses on formal verification and safety of cyber-physical systems, with a focus on aerospace software systems. His background is in programming languages, logic and security, whose techniques and ideas he applies to the aerospace domain.

Before coming to Michigan, Jean-Baptiste was working on Javascript compilers and software security, as a Researcher at Samsung Research America in Mountain View, California. He also led the formal analysis of the Next-Generation Airborne Collision Avoidance System (ACAS X), as a Post Doctoral Fellow working with André Platzer in the Logical Systems Lab at Carnegie Mellon University, and in collaboration with the Johns Hopkins Applied Physics Laboratory. He received a Ph.D. in Computer Science from Cornell University in 2013, where he was advised by Dexter Kozen. He also received a Master of Engineering in Computer Science from Cornell University in 2008, and a Diplôme d’Ingénieur from École Polytechnique, France in 2007. In his spare time, he likes to fly small airplanes.

Positions Held at UM

Assistant Professor, Aerospace Engineering, 2017 to present


Acheson Award 2007, full tuition fellowship at Cornell University