Eva Darulova joins Max-Planck Institute as Tenure-Track Faculty

Eva Darulova will start as a faculty member and a research group leader at the Max-Planck Institute for Software Systems in Saarbrücken, Germany in fall 2015.

Eva has received her Ph.D. degree from EPFL under supervision of Viktor Kuncak. Her thesis research focused on automated verification and synthesis for numerical programs where she has developed techniques and tools for explicit handling of uncertainties such as roundoff, measurement and truncation errors.