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