Skip to Main Content
  • About
    • About the Department
    • Mission
    • History
    • FXB Building
    • Facts & Figures
    • Giving
    • Newsletters
    • Maps & Directions
    • Contact Us
  • Events
    • Featured Events
    • Event Calendar
  • News
    • News Stories
    • In the News
    • COVID-19 Updates
    • Time for Change—George Floyd
    • Freedom of Speech Support
  • Research
    • Department Research
    • Research Areas
      • AERO Research Areas
      • Areas of Impact
      • Aerodynamics and Propulsion
      • Computation
      • Dynamics & Controls
      • Space Systems
      • Structures & Materials
    • Labs and Facilities
      • AERO Labs and Facilities
      • Aerodynamics and Propulsion
      • Autonomous Systems and Control
      • Space Systems
      • Structures & Materials
      • Wind Tunnels
    • Get Involved
      • Research Opportunities
      • Summer Undergraduate Research
      • Undergraduate Advice
  • Academics
    • Academics
    • Undergraduate
      • Undergraduate Program
      • Admissions / Declaring
      • Advising
      • Degree Requirements
      • Program Outcomes & Objectives
      • Course Outcomes & Objectives
      • Study Abroad
      • Co-ops and Internships
      • Scholarships
      • SUGS
      • Teaching Labs
    • Graduate
      • New Graduate Students
      • Master of Science in Engineering
      • Doctor of Philosophy
      • Master of Engineering
      • Application Process
      • Funding
      • Admissions Guidelines
      • International Admission Requirements
      • Visit Us
    • Courses
      • Undergrad Courses
      • Graduate Courses
      • AERO 590 Projects
  • People
    • Administration
    • Faculty
      • All Faculty
      • Core Faculty
      • Emeritus Faculty
      • Adjunct Faculty
      • Affiliated Faculty
    • Graduate Students
    • Staff
    • Student Support
    • Student Teams & Projects
    • Student Societies
    • Undergraduate Committee
    • Industrial Advisory Board (IAB)
  • Careers
    • About the Field
    • Employment Opportunities
    • Faculty Search
  • Info for You
    • Prospective Graduate Students
    • Prospective Undergraduates
    • Current Students
    • Diversity Equity and Inclusion Resources
    • Alumni
    • Corporate Partners
    • Media
Aerospace Engineering
Aerospace Engineering
Aerospace Engineering
CONNECT WITH US:
About
Research
Academics
People
Careers
Info for You
  • About
    • Mission
    • History
    • Diversity, Equity and Inclusion
    • Outreach
    • FXB Building
    • Facts & Figures
    • Giving
    • Newsletters
    • Maps & Directions
    • Contact Us
  • Research
    • Research Areas
    • Labs and Facilities
    • Get Involved
  • News
    • In the News
    • COVID-19 Updates
    • Time for Change—George Floyd
    • Freedom of Speech Support
  • Academics
    • Undergraduate
    • Graduate
    • Courses
  • Featured Events
    • Event Calendar
  • People
    • Administration
    • Faculty
    • Graduate Students
    • Staff
    • Student Support
    • Student Teams & Projects
    • Student Societies
    • Undergraduate Committee
    • Industrial Advisory Board (IAB)
  • Careers
    • About the Field
    • Employment Opportunities
    • Faculty Search
  • Info for You
    • Prospective Graduate Students
    • Prospective Undergraduates
    • Current Students
    • Diversity Equity and Inclusion Resources
    • Alumni
    • Corporate Partners
    • Media
HOME/People/Faculty/Core Faculty/Jean-Baptiste Jeannin

Jean-Baptiste Jeannin

Assistant Professor Jean-Baptiste Jeannin

Assistant Professor

Aerospace Engineering

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

jeannin@umich.edu

(734) 764-6792

website

Education Teaching Research Interests Biography Awards Publications

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

AERO 552 Aerospace Information Systems, Fall 2017

Research Interests: ^top

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

 

Biography: ^top

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: ^top

Honors and Awards

Acheson Award 2007, full tuition fellowship at Cornell University

Society Memberships

Member of the Association for Computing Machinery (ACM)

Publications: ^top

Refereed Journal Publications

  • Jean-Baptiste Jeannin, Dexter Kozen, and Alexandra Silva. CoCaml: Programming with coinductive types. Fundamenta Informaticae (FI), 2017.
  • 
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Stefan Mitsch and André Platzer. A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System. International Journal on Software Tools for Technology Transfer (STTT), 2016. Journal extension of our TACAS 2015 paper, invited to special issue.
  • Jean-Baptiste Jeannin, Dexter Kozen and Alexandra Silva. Well-Founded Coalgebras, Revisited. Mathematical Structures in Computer Science (MSCS), 2016.
  • 
Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadzki, André Platzer, Geoffrey J. Gordon and Peter Capell. Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges. Journal of Aerospace Information Systems (JAIS), 11:702–713, 2014.
  • Jean-Baptiste Jeannin and Dexter Kozen. Computing with Capsules. Journal of Automata, Languages and Combinatorics (JALC), 17(2–4):185–204, 2012.

Refereed Conference Publications

  • Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger and Manu Sridharan. IoTa: A Calculus for Internet of Things Automation. In Onward!, part of Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), 2017.
  • Yanni Kouskoulas, Daniel Genin, Aurora Schmidt and Jean-Baptiste Jeannin. Formally Verified Safe Vertical Maneuvers for Non-Deterministic, Accelerating Aircraft Dynamics. In Interactive Theorem Proving (ITP), 2017.
  • Arjun Guha, Jean-Baptiste Jeannin, Rachit Nigam, Rian Shambaugh and Jane Tangen. Fission: Dynamic Code Splitting for Javascript. In Summit on Advances in Programming Languages (SNAPL), 2017.
  • Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry and George Varghese. Correct by Construction Networks using Stepwise Refinement. In USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2017.
  • Satish Chandra, Colin Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridha- ran, Frank Tip and Young-il Choi. Type Inference for Static Compilation of JavaScript. In Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2016.
  • Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki and André Platzer. Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System. In Embedded Software (EMSOFT), 2015. Invited paper.
  • Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki and André Platzer. A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2015.
  • Jean-Baptiste Jeannin and André Platzer. dTL2: Differential Temporal Dynamic Logic with Nested Modalities for Hybrid Systems. In International Conference on Automated Reasoning (IJCAR), 2014.
  • Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. NetKAT: Semantic Foundations for Networks. In Principles of Programming Languages (POPL), 2014.
  • Jean-Baptiste Jeannin, Dexter Kozen, and Alexandra Silva. Language Constructs for Non-Well-Founded Computation. In 22nd European Symposium on Programming (ESOP), 2013.
  • Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, and Nikhil Swamy. DKAL*: Constructing Executable Specifications of Authorization Protocols. In Engineering Secure Software and Systems (ESSoS), 2013.
  • Jean-Baptiste Jeannin and Dexter Kozen. Computing with Capsules. In Descriptional Complexity of Formal Systems (DCFS), 2012. Invited paper.
  • Jean-Baptiste Jeannin and Dexter Kozen. Capsules and Separation. In Logic in Computer Science (LICS), 2012.
  • Jean-Baptiste Jeannin. Capsules and Closures. In Mathematical Foundations of Programming Semantics (MFPS XXVII), 2011.
  • Heber Herencia-Zapana, Jean-Baptiste Jeannin, and César Muñoz. Formal Verification of Safety Buffers for State-Based Conflict Detection and Resolution. In 27th International Congress of the Aeronautical Sciences (ICAS), 2010.
People
  • People
    • Administration
    • Faculty
      • Core Faculty
      • Research Faculty
      • Emeritus Faculty
      • Adjunct Faculty
      • Affiliated Faculty
    • Graduate Students
    • Staff
    • Student Support
    • Student Teams & Projects
    • Student Societies
    • Undergraduate Committee
    • Industrial Advisory Board (IAB)
Research Area
  • Autonomous Systems and Control
  • Dynamics and Controls
  • Gas Dynamics
  • Space Systems
  • Structures and Materials
Aerospace Engineering
Aerospace Engineering

François-Xavier Bagnoud
Aerospace Building

1320 Beal Avenue

Ann Arbor, MI 48109-2140

Voice: (734) 764-3310

Fax: (734) 763-0578

Give to Aerospace Engineering »

  • Michigan Engineering
    • About the College
    • Research
    • Academics
    • Admissions
    • Departments
    • Giving
Follow The College

Facebook

Twitter

Instagram

LinkedIn

YouTube

ALWAYS INNOVATING. FOREVER VALIANT.

The Michigan Engineering Bicentennial Web Project is a multimedia story collection.

See all stories »

  • © The Regents of the University of Michigan Ann Arbor, MI 48109 USA
  • Privacy Policy
  • Non-Discrimination Policy
  • Campus Safety
  • U-M Gateway
  • Give Feedback