Thomas Türk
| Computer Laboratory William Gates Building JJ Thomson Avenue Cambridge, CB3 0FD, UK room: FS35 tel: +44 1223 763576 mobile: +44 785 2612495 email: tt291@cl.cam.ac.uk pgp-key: D5887528 6 Giffort's Close Cambridge CB3 0PF, UK tel: +44 1223 858866 Personal Homepage Homepage at the University of Kaiserslautern |
My name is Thomas Türk (can be written as Tuerk). I'm a PhD student in the Automated Reasoning Group. My supervisor is Mike Gordon. My research interests are in formal methods. I try to build a framework for separation logic in HOL. A list of my publications can be found at my page at the University of Kaiserslautern. For more private informations you can also have a look at my Personal Homepage. My recent talks:
|