Dr. Thomas Tuerk
Selbstständig, Freiberufler, IT Dienstleistungen Dr. Thomas Türk
Brechen, Germany
Timeline
Professional experience for Thomas Tuerk
Current 2 years, since Jan 2022
Freiberufler
IT Dienstleistungen Dr. Thomas Türk
Ich biete als Freiberufler IT-Dienstleistungen und IT-Beratung. Unter anderem biete ich Systementwicklung und -instandhaltung sowie Beratung und Schulungen für Unternehmen sowie Privatpersonen an. Mein Schwerpunkt liegt bei formalen Methoden und interaktivem Theorembeweisen, ich arbeite jedoch auch in anderen Bereichen.
7 months, Apr 2017 - Oct 2017
Postdoktor
KTH Royal Institute of Technology
6 months, Jan 2014 - Jun 2014
Computer Science Engineer
University of Leicester
I was working with Dr. Tom Ridge on the future filesystem project
1 year and 6 months, Jul 2012 - Dec 2013
Research Associate
University of Cambridge - Computer Lab
working with Prof. Peter Sewell on project Rigorous Engineering for Mainstream Systems, contract ends Dec. 2013, extension possible
1 year and 2 months, May 2011 - Jun 2012
Wissenschaftlicher Mitarbeiter
TU Munich
postdoc position working with Prof. Tobias Nipkow on the CAVA project (https://cava.in.tum.de/)
working part-time for Matthew Parkinson on separation logic tool JStar while finishing my Ph. D. thesis
Educational background for Thomas Tuerk
4 years and 4 months, Jan 2007 - Apr 2011
Computer Science
University of Cambridge
building the separation logic tool Holfoot (see http://holfoot.heap-of-problems.org) in the interactive theorem prover HOL 4
1 year, Jan 2006 - Dec 2006
Computer Science
University of Cambridge
visitor of Prof. Mike Gordon, working on PSL in HOL 4
3 years and 3 months, Nov 2002 - Jan 2006
Computer Science
TU Kaiserslautern
Ph. D. program in Computer Science (partly in parallel with diploma studies); finished first part in December 2005; leave of absence to visit Mike Gordon; quit in summer 2006 to start a Ph. D. at Cambridge
5 years and 8 months, Oct 1999 - May 2005
Computer Science
TU Kaiserslautern
supervisor Prof. K. Schneider, thesis title "A Hierarchy for Accellera’s Property Specification Language"; grade 1.2
Languages
English
Fluent
German
First language