Dr. Tjark Weber

Senior Lecturer

Uppsala University
Department of Information Technology
Box 337
751 05 Uppsala
Sweden

E-mail: tjark.weber@it.uu.se
Phone: +46 18 471 1099
Office: ITC building 1, floor 1, room 1139

I am a member of the Mobility 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.

Teaching

Spring 2013

Cryptology

See here for Uppsala University term dates, and here for previous courses and seminars.

Student Projects

I am looking for smart, self-motivated students who would like to do a project or write a thesis (exjobb). Please take a look at current project ideas or feel free to suggest your own topic. Contact me if this appeals to you!

Events

SMT-EVAL 2013 (co-organizer) - Submission deadline: April 1st, 2013
PxTP 2013 (PC member) - Submission deadline: April 11th, 2013
PxTP 2012 (PC co-chair)
PxTP 2011 (PC member)

Misc

pigeonhole.c: A small C program to create DIMACS CNF files that encode the pigeonhole problem (i.e., placing n+1 pigeons into n holes).
tag-system.c: A small C program to emulate Post tag systems.
My Erdős number is (at most) 4, via James L. Caldwell - John R. Cowles - Sarvadaman D. S. Chowla - Paul Erdős.

Links

Last modified: 2013-03-20