Zachary Tatlock
Heiko Becker
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
Zachary Tatlock
Heiko Becker