by U-M MICDE | Sep 5, 2023
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...