Alexandre Donzé, PhD

I am an assistant professor or something like that (more precisely, in French: titulaire d’une chaire de professeur junior, or CPJ) at Verimag. I study the formal design of cyber-physical systems (CPS), at the intersection of formal methods, machine learning, and control theory.