Dr. Tjark Weber
 |
University of Cambridge
Computer Laboratory
15 JJ Thomson Avenue
Cambridge CB3 0FD
UK
Phone: +44 1223 763602
E-mail: tw333@cam.ac.uk |
I am a research associate with Prof. Mike Gordon at the University of Cambridge Computer Lab, working on Expressive Multi-theory Reasoning for Interactive Verification.
My research interests include automatic and interactive theorem proving, formal verification, lambda calculus, type theory, and computational logic in general.
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.
See here for student projects. See here for previous courses and seminars.
Michaelmas Term 2009/10
- 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.
Last modified: 2009-11-09
