Please complete the CAPTCHA to continue
area 555
✓
LinkedIn matched
A concise factual answer block for searchers comparing this professional profile.
Thomas Tuerk is listed as Experte für formale Methoden at IT Dienstleistungen Dr. Thomas Türk, based in Brechen, Hesse, Germany. AeroLeads shows phone signal with area code 555 and a matched LinkedIn profile for Thomas Tuerk.
Thomas Tuerk previously worked as Freiberufler at It Dienstleistungen Dr. Thomas Türk and developer at F+S Fleckner Und Simon Informationstechnik Gmbh. Thomas Tuerk holds Doctor Of Philosophy (Phd), Computer Science from University Of Cambridge.
I'm an formal methods expert, esp. for interactive theorem proving. I am an HOL 4 expert and have experience with Isabelle / HOL and Coq. I am an expert for separation logic and familiar with other formal static program verification techniques. I have worked with program refinement. I have formalised model checking algorithms and am familiar with especially automata based approaches. Moreover, I'm an experienced functional programmer. Unlike most interactive theorem proving experts I have worked with multiple provers and are therefore able to compare and judge which system is good for which applications. While working on Lem, I had to speak to domain experts and find ways to help them communicate with formal methods experts. This skill was developed further while working for FireEye on hardening a microhypervisor.In my spare time, I'm developing a formal documentation tool called ADATT. The aim is to help write formal specifications for various interactive theorem prover backends by bridging the gap between designers, programmers, testers and formal methods people.
Company context helps verify the profile and gives searchers a useful next step.
A career timeline built from the work history available for this profile.
Brechen, Hessen, Deutschland
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.
Dresden Und Umgebung, Deutschland
I worked as a formal methods staff engineer for FireEye in Dresden. My job involved hardening a microhypervisor using the interactive theorem prover Coq. I was involved in modeling this microhypervisor in Coq, prove some properties and test the model against an C++ implementation. I helped to implement a conformance testing tool in OCaml. Other noteworthy contributions include designing a program refinement framework in Coq.
Leicester, Großbritannien
I worked with Dr. Tom Ridge on the project "The future filesystems project" using Lem. I helped toformalise POSIX filesystems and test this formalisation.
Cambridge, Großbritannien
I worked with Prof. Peter Sewell on project Rigorous Engineering for Mainstream Systems, in particular on the tool Lem.
München Und Umgebung, Deutschland
Working with Prof. Tobias Nipkow on the CAVA project. I helped to build a monadic program refinement framework in Isabelle / HOL. I formalised finite automata, implemented some algorithms very efficiently using program refinement and extracted very efficient, trustworthy code.
Cambridge, Großbritannien
I worked part time for Matthew Parkinson on the separation logic tool JStar while finishing my PhD thesis.
While still being officially a PhD student at Kaiserslautern, I visited Prof. Mike Gordon in Cambridge. Afterwards I started a PhD at Cambridge.
Under the supervision of Prof. Gordon, I implemented a separation logic tool in HOL 4. My theis title is "A Separation Logic Framework.
I studied computer science at the University of Kaiserslautern. During my diploma studies, I already joined a PhD programm. However, a few.
Quick answers generated from the profile data available on this page.
Thomas Tuerk works for IT Dienstleistungen Dr. Thomas Türk.
Thomas Tuerk is listed as Experte für formale Methoden at IT Dienstleistungen Dr. Thomas Türk.
AeroLeads has found 1 phone signal(s) with area code 555 for Thomas Tuerk at IT Dienstleistungen Dr. Thomas Türk.
Thomas Tuerk is based in Brechen, Hesse, Germany while working with IT Dienstleistungen Dr. Thomas Türk.
Thomas Tuerk has worked for It Dienstleistungen Dr. Thomas Türk, F+S Fleckner Und Simon Informationstechnik Gmbh, Et-Systems Gmbh, Kth | Kungliga Tekniska Högskolan, and Fireeye, Inc..
You can use AeroLeads to view verified contact signals for Thomas Tuerk at IT Dienstleistungen Dr. Thomas Türk, including work email, phone, and LinkedIn data when available.
Thomas Tuerk holds Doctor Of Philosophy (Phd), Computer Science from University Of Cambridge.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contactsCheck these profiles if this is not the Thomas Tuerk you were looking for.
View similar profiles
