Tjark Weber

Senior lecturer/Associate Professor at Department of Information Technology, Division of Computing Science

Email:
tjark.weber[AT-sign]it.uu.se
Telephone:
+4618-471 1099
Visiting address:
Room ITC 1139 ITC, Lägerhyddsvägen 2, hus 1
752 37 UPPSALA
Postal address:
Box 337
751 05 UPPSALA

Short presentation

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

Also available at

My courses

Publications

Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.