
Jean-Baptiste Jeannin
Assistant Professor
Location
3017 François-Xavier Bagnoud Aerospace Building
1320 Beal Avenue Ann Arbor, MI 48109-2140
Primary Website
http://www-personal.umich.edu/~jeannin/
Education
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
Teaching
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
Professional Service
Member of the Association for Computing Machinery (ACM)
Biography
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
Awards
Acheson Award 2007, full tuition fellowship at Cornell University