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...
by U-M MICDE | Sep 5, 2023
Prof. Venkat’s research is focusing on multi-scale differentiable computational simulations of electrochemical systems, machine learning guided optimization of energy materials, scientific foundation models and differentiable physical simulations.
by Eszter Haseli | Jul 19, 2023
by Eszter Haseli | Jul 19, 2023
by Eszter Haseli | Jul 19, 2023
by Eszter Haseli | Jul 19, 2023
by Eszter Haseli | Jul 19, 2023
by Eszter Haseli | Jul 19, 2023
by Eszter Haseli | Jul 19, 2023
by Eszter Haseli | Jul 19, 2023