VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Eva Darulova

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

Contributions

VMCAI Session Chair of Abstraction I (part of VMCAI)
Committee Member in Program Committee
Show activities from other conferences

POPL 2016-profile
View general profile