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, program synthesis and approximate computing. Currently, my focus lies on applications in numerical, embedded or cyber-physical domains.
MPI-SWS
Paul-Ehrlich-Strasse, G 26
D-67663 Kaiserslautern
Germany