Eva Darulova

PL researcher @ Uppsala University

Eva is an associate professor at the Dept. of Information Technology at Uppsala University, and adjunct faculty at MPI-SWS. Previously, she was a tenure-track faculty at MPI-SWS, and before that, she did her PhD with Viktor Kuncak at EPFL. She is generally interested in programming languages, software verification, program synthesis and approximate computing.