Eva Darulova
Universitetslektor i datalogi med inriktning mot programspråk vid Institutionen för informationsteknologi, Datalogi
- E-post:
- eva.darulova[AT-tecken]it.uu.se
- Telefon:
-
018-471 3390
- Besöksadress:
- Rum POL 105141 hus 10, Lägerhyddsvägen 1
- Postadress:
- Box 337
751 05 UPPSALA
Kort presentation
Detta stycke finns inte på svenska, därför visas den engelska versionen.
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.
Akademiska meriter: Docent
Nyckelord: programming languages program verification program synthesis approximate computing
Kontakta katalogansvarig vid den aktuella organisationen (institution eller motsv.) för att rätta ev. felaktigheter.
Senast uppdaterad: 2021-03-09