• Skip to primary navigation
  • Skip to main content
  • Skip to footer
Michigan Aerospace Engineering
  • News & Events
  • Alumni & Friends
  • Contact Us
  • About
    • Message from the Chair
    • Mission
    • History
    • Facts & Figures
    • FXB Building
    • Department Publications
    • Visit Us
    • Contact Us
    • Faculty Search
  • Culture
    • Diversity, Equity & Inclusion
    • Diversity, Equity & Inclusion Resources
    • Outreach & Partnerships
    • Student Life
    • Student Teams & Projects
    • Student Organizations
  • Research
    • Research Areas
      • Aerodynamics & Propulsion
      • Autonomous Systems & Control
      • Computation
      • Space Systems
      • Structures & Materials
      • Sustainable Aviation
    • Shared Facilities
    • Multidisciplinary Centers
    • Research Opportunities for Students
      • Graduate Research
      • Undergraduate Research
  • Undergraduate
    • Program Overview
    • Admissions
    • Degree Requirements
    • Scholarships
    • Study Abroad
    • Co-ops & Internships
    • Current Undergraduate Students
      • Declaring
      • Advising
      • Sequential Undergraduate/Graduate Studies (SUGS) Program
      • Undergrad Courses
      • Teaching Labs
      • Undergrad Awards
  • Graduate
    • Master of Science in Engineering
    • Master of Engineering
    • Doctor of Philosophy
    • Admission Guidelines & Planning
    • Application Process
    • Funding
    • Current Graduate Students
      • Grad Courses
      • Aero 590 Projects
      • Grad Awards
  • People
    • Faculty
      • Core Faculty
      • Research Faculty
      • Adjunct Faculty
      • Emeritus Faculty
      • Affiliated Faculty
    • Staff
    • News & Events
    • Alumni & Friends
    • Contact Us

Jean-Baptiste Jeannin

home_outline/People/Faculty/Core Faculty/Jean-Baptiste Jeannin

Assistant Professor

Contact

jeannin@umich.edu(734) 764-6792

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
  • Teaching
  • Professional Services
  • Research Interests
  • Biography
  • Awards
  • Related Links

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

Related Links

  • Publications
  • https://marvl.engin.umich.edu/


Footer

Michigan Engineering
  • News & Events
  • Giving
  • Contact Us
  • U-M Engineering Home
  • Strategic Vision
  • Graduate and Professional
  • Undergraduate
  • U-M Engineering Research News
  • AERO Department Feedback Form

© 2023 The Regents of the University of Michigan Ann Arbor, MI 48109 USA Privacy Policy | Non-Discrimination Policy | Campus Safety

  • Facebook
  • Flickr
  • Instagram
  • Twitter
  • YouTube