Dr. Thomas Tuerk
Selbstständig, Freiberufler, IT Dienstleistungen Dr. Thomas Türk
Brechen, Deutschland
Werdegang
Berufserfahrung von Thomas Tuerk
Bis heute 2 Jahre und 5 Monate, seit 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 Monate, Apr. 2017 - Okt. 2017
Postdoktor
KTH Royal Institute of Technology
6 Monate, Jan. 2014 - Juni 2014
Computer Science Engineer
University of Leicester
I was working with Dr. Tom Ridge on the future filesystem project
1 Jahr und 6 Monate, Juli 2012 - Dez. 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 Jahr und 2 Monate, Mai 2011 - Juni 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
Ausbildung von Thomas Tuerk
4 Jahre und 4 Monate, 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 Jahr, Jan. 2006 - Dez. 2006
Computer Science
University of Cambridge
visitor of Prof. Mike Gordon, working on PSL in HOL 4
3 Jahre und 3 Monate, 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 Jahre und 8 Monate, Okt. 1999 - Mai 2005
Computer Science
TU Kaiserslautern
supervisor Prof. K. Schneider, thesis title "A Hierarchy for Accellera’s Property Specification Language"; grade 1.2
Sprachen
Englisch
Fließend
Deutsch
Muttersprache