Jean-Baptiste Jeannin

Jean-Baptiste Jeannin

Prof. Jeannin’s research focuses on formal verification in several different areas (cyber-physical systems, scientific computing, distributed systems, computer hardware), with a particular focus on aerospace software systems. On the theoretical side, he develops...