
Registered user since Thu 18 Jun 2015
Name: Eva Darulova
Bio: I am interested in programming languages, software verification and approximate computing. My recent research focused on automated verification and synthesis for numerical programs where I have developed techniques and tools for explicit handling of uncertainties such as roundoff, measurement and truncation errors. I did my PhD at EPFL and I am now a tenure-track group leader at MPI-SWS.
Affiliation: MPI-SWS, Germany
Personal website: http://www.mpi-sws.org/~eva/
Contributions
Scala 2016 | Committee Member in Program Committee within the Scala-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2016-profile
View general profile
View general profile