Dr. Thomas Tuerk

Basic

ist offen für Projekte. 🔎

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

Brechen, Germany

Skills

interactive theorem proving
model checking
separation logic
Functional Programming
Software-Verifikation
Hardware-Verifikation
Software-Spezifikation
OCaml
Coq
HOL 4
Isabelle / HOL
Pattern Matching
Automata Theory
Temporal Logics
Forschung

Timeline

Professional experience for Thomas Tuerk

  • Current 5 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.

  • 6 months, May 2021 - Oct 2021

    Entwickler

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

    Entwickler

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

    Postdoktor

    KTH Royal Institute of Technology

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

    Formal Method's Staff Engineer

    FireEye
  • 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

Languages

  • English

    Fluent

  • German

    First language

Browse over 20 million XING members