Hoppa till huvudinnehållet
Institutionen för informationsteknologi

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.

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.

Eva Darulova
Senast uppdaterad: 2021-03-09