Thomas Tuerk

I am a PhD student in the Automated Reasoning Group. My supervisor is Mike Gordon.

Contact information

Computer Laboratory
William Gates Building
JJ Thomson Avenue
Cambridge, CB3 0FD, UK

Room: FS35
Telephone: +44 1223 763576
Mobile: +44 785 2612495
Email: tt291@cl.cam.ac.uk
PGP-key: D5887528

For more details please have a look at my Contact page or my Personal Homepage.