Dr. Thomas Tuerk
Looking for a different Thomas Tuerk?
Skills
Timeline
Professional experience for Thomas Tuerk
- Current 3 years and 3 months, 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
XING members with similar profiles
XING – The jobs network
Over 1 million jobs
Find just the right job for you on XING.
Job offers just for you
Get found by employers and over 20,000 recruiters.
22 million members
Connect with new people and gather inspiration to boost your working life.
Free membership
Basic membership is free, but the opportunities are priceless.