Skip to main content
Department of Information Technology

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 ÅNG 105144 hus 10, Lägerhyddsvägen 1
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

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

Tjark Weber