Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Tjark Weber

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 automated and interactive theorem proving, formal verification, programming languages, digital security, and computational logic.

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 the First Workshop on Proof eXchange for Theorem Proving (affiliated with CADE 23)!

Teaching

Interactive Formal Verification (Easter, MPhil ACS)

See here for previous courses and seminars. See here for University of Cambridge term dates and here for exam dates.

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: 2011-06-01