Senior Lecturer/Associate Professor at Department of Information Technology, Division of Computing Science
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.
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.