Jean-Baptiste Jeannin

Assistant Professor


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


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


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


  • AERO 552 Aerospace Information Systems, Fall 2017

Research Interests

  • Formal verification of cyber-physical systems
  • Aerospace software systems
  • Logics and semantics of programming languages
  • Programming with coinductive types
  • Software security

Research areas:

Professional Service

  • Member of the Association for Computing Machinery (ACM)


  • Acheson Award 2007, full tuition fellowship at Cornell University