Jean-Baptiste Jeannin

Jean-Baptiste Jeannin

Assistant Professor
Department of Aerospace Engineering
University of Michigan — Ann Arbor

Email: jeannin [at]
Work: +1 (734) 764-6792
Cell: +1 (607) 379-3001

MARVL Group Research Publications Teaching

I am an Assistant Professor in Aerospace Engineering at the University of Michigan — Ann Arbor, where I lead the MARVL group. I am also affiliated with Computer Science and Engineering and Robotics.

I received a Ph.D. in Computer Science from Cornell University in 2013, where I was advised by Dexter Kozen, as well as a Diplôme d'Ingénieur from École polytechnique in 2007. I used to be a Researcher at Samsung Research America in Mountain View, California and a Post Doctoral Fellow working with André Platzer at Carnegie Mellon University.

Research Interests

Graduate Students





I am or have been the instructor for: