Eva Darulova
Senior Lecturer/Associate Professor at Department of Information Technology, Division of Computing Science
- Email:
- eva.darulova[AT-sign]it.uu.se
- Telephone:
-
+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.
