Skip to main content
Department of Information Technology

Eva Darulova

Senior Lecturer/Associate Professor at Department of Information Technology, Division of Computing Science

+4618-471 3390
Visiting address:
Room ÅNG 105141 hus 10, Lägerhyddsvägen 1
Postal address:
Box 337
751 05 UPPSALA

Short presentation

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.

More information, including publications, can be found on my personal webpage.

Academic merits: Docent

Keywords: programming languages program verification program synthesis approximate computing

Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.

Eva Darulova