Dr. Tjark Weber

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

Phone: +46 18 471 1099
E-mail: tjark.weber@it.uu.se
Visit: 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.

Previously, I was a research associate with Prof. Mike Gordon at the University of Cambridge Computer Lab. I used to be a post-doctoral researcher in the Digital Security group at Radboud University Nijmegen. I am a former Ph.D. student of Prof. Tobias Nipkow at Technische Universität München, and a former member of the Graduiertenkolleg Logik in der Informatik.

Please consider attending PxTP 2012, the Second International Workshop on Proof Exchange for Theorem Proving, affiliated with IJCAR!

Publications
Talks
Teaching
Activities
Misc
Links

Teaching

Spring 2012

Cryptology
Secure Computer Systems I (with Aletta Nylén)

See here for previous courses and seminars.

Activities

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: 2012-04-18