Dr. Tjark Weber
Senior Lecturer, Director of Studies
Department of Information Technology
751 05 Uppsala
E-mail: email@example.com (PGP key)
Phone: +46 18 471 1099
Office: ITC building 1, floor 1, room 1139
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 contact the Student Office for questions related to course admission or (re-)exam registration.
See here for Uppsala University term dates, and here for my previous courses and seminars.
Last modified: 2021-04-15