Jean-Baptiste Jeannin

Assistant Professor, Aerospace Engineering

3017 FXB

jeannin@umich.edu

Department Profile | Personal Website | Google Scholar

Research interests:

Formal verification of cyber-physical systems, aerospace software systems, logics and semantics of programming languages, programming with coinductive types, software security.