Dept. of Information Technology
Uppsala University
eva.darulova at it.uu.se
(eva at mpi-sws.org)
I am an associate professor at the Dept. of Information Technology at Uppsala University, and adjunct faculty at MPI-SWS. Previously, I was a tenure-track faculty at MPI-SWS, and 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 and embedded domains.
Box 337
751 05 Uppsala
room 105141
Lägerhyddsvägen 1, house 10
752 37 Uppsala
* I continue to use my birth name on scientific publications.