Eva Darulova

I am a tenure-track faculty at MPI-SWS. Before that, I did my PhD
with Viktor Kuncak at EPFL.
I am generally interested in programming languages, software verification and approximate computing.
Currently, my focus lies on applications in numerical, embedded or cyber-physical domains.

Internship and MSc projects: in case you are interested
drop me an email with a brief statement of interest and your CV.