Dr. Thomas Tuerk

ist offen für Projekte. 🔎

Selbstständig, Freiberufler, IT Dienstleistungen Dr. Thomas Türk

Brechen, Germany


interactive theorem proving
model checking
separation logic
Functional Programming
Isabelle / HOL
Pattern Matching
Automata Theory
Temporal Logics


Professional experience for Thomas Tuerk

  • Current 2 years, since Jan 2022


    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.

  • 6 months, May 2021 - Oct 2021


    F+S Fleckner und Simon Informationstechnik GmbH
  • 3 years and 6 months, Nov 2017 - Apr 2021


    et-systems GmbH
  • 7 months, Apr 2017 - Oct 2017


    KTH Royal Institute of Technology

  • 2 years and 3 months, Jul 2014 - Sep 2016

    Formal Method's Staff Engineer

  • 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/)

  • 1 year, Jan 2010 - Dec 2010

    Research Assistant

    University of Cambridge

    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


  • English


  • German

    First language

Browse over 21 million XING members