Max Planck Institute for Software Systems (MPI-SWS)
Paul-Ehrlich-Strasse, Building G 26
room 417, Kaiserslautern
eva at mpi - sws dot org
+49 681 9303-8101
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.
Programming Language and Compiler Support for UncertaintiesE. Darulova, V. Kuncak,First SIGPLAN Workshop on Probabilistic and Approximate Computing (APPROX'14).
Co-located with PLDI 2014 in Edinburgh, Scotland. Invited Position Paper