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...
Venkat Viswanathan

Venkat Viswanathan

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.