Word Cloud

Dr. Tjark Weber

Senior Lecturer, Director of Studies
Tjark Weber - Portrait Uppsala University
Department of Information Technology
Box 337
751 05 Uppsala
Sweden

E-mail: tjark.weber@it.uu.se (PGP key)
Phone: +46 18 471 1099
Office: Lägerhyddsvägen 1, hus 10, rum 105144

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.
Publications
Publications
Talks
Talks
Teaching
Teaching
Events
Events
Misc
Misc
Links
Links

Teaching

I am looking for outstanding students who would like to do a thesis project (exjobb) in the area of formal methods. Please take a look at current project ideas.

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.


Events


Misc


Links


Last modified: 2023-08-16 Valid HTML 4.01 Transitional Valid CSS