Senior Lecturer/Associate Professor at Department of Information Technology, Division of Computing Science
- +4618-471 1099
- Visiting address:
POL 105144 hus 10, Lägerhyddsvägen 1
- Postal address:
- Box 337
751 05 UPPSALA
I am a member of the Concurrency research group at the Department of Information Technology, Uppsala University. My research interests include automated and interactive theorem proving, formal verification, programming languages, digital security and computational logic.
Please see http://user.it.uu.se/~tjawe125/ for further details.
Keywords: programming languages theorem proving formal verification digital security computational logic
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.