Senior Lecturer/Associate Professor at Department of Information Technology, Division of Computing Science
- +4618-471 3390
- Visiting address:
POL 105141 hus 10, Lägerhyddsvägen 1
- Postal address:
- Box 337
751 05 UPPSALA
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.