Curriculum Vitae

Work Experience

Education

Contact Details

	Dr. Thomas Tuerk Albert-Otto-Str. 8 65611 Brechen Germany
phone	+49 6483 803150
email	kontakt@thomas-tuerk.de
helpdesk	http://helpdesk.thomas-tuerk.de
Personal webpage	http://privat.thomas-tuerk.de/en

I believe that an informal email or a phone call are best suited to get in contact. After initial contact, we can a use other communication channels (like common video conferencing platforms) or meet in person. For existing customers, my Helpdesk might also be useful.

If you are looking for information that is not or only indirectly related to my work as a freelancer, you should have a look at my personal webpage (https://privat.thomas-tuerk.de/en). You can find personal contact details or a list of my publications there.

Here you can find some selected projects of mine:

Prüfungsplaner

Prüfungsplaner is a desktop application used for scheduling oral exams at German high schools, which I have been developing in 2022. Given a list of exams together with information about resources that can be used (rooms, teachers, timeslots, ...) as well as preferences, Prüfungsplaner produces schedules for these exams. A schedule consists of an assignment of a room, a timeslot and teachers to an exam. Using genetic algorithms, Prüfungsplaner attempts to find good schedules quickly. Thereby it is highly non-trivial to define precisely what constitutes a good schedule. Prüfungsplaner is available with and without graphical user-interface for MS Windows and Linux. More details as well as download links of a demo version are available on a separate page. Since Prüfungsplaner is specifically tailored to the needs of German high schools, this separate page as well as Prüfungsplaner itself are only available in German.

Lem / ADATT

I'm interested in simplifying communication between domain experts and formal-methods experts. In order to use interactive theorem proving (ITP) on real world problems, correct and detailled models of real world artifacts like processors or programming languages are needed. Creating such models is a lot of work and the needed details are only known to experts of these real-world systems. Such domain-experts are usually not experts for formal methods or ITP and therefore. Such ITP expertise is however needed to create good formal models. I'm interested in how domain and formal method experts can cooperate to create such formal models.

I got interested in this topic while working for Prof. Peter Sewell on Lem. Lem is a tool for creating portable specifications of real world systems. During the last few years, I have been working on a tool called ADATT. This tool focuses on being comfortably usable by domain experts (poster, talk, current status).

Master Course on Interactive Theorem Proving

In 2017 I gave a master course on Interactive Theorem Proving at KTH focusing on HOL 4. The slides (printer-friendly version, Latex sources) as well as the exercise sheets are available online.

Publications

A list of my publications, talks und similar documents can be found on my personal webpage.

Hardening a microhypervisor using Coq in industrie

As part of a commercial formal methods team I helped hardening a microhypervisor using Coq between July 2014 and September 2016.

Impressum - Legal Notifications

The following information (Impressum) is required under German law. This page is also available in German.

Dr. Thomas Tuerk, Dipl.-Inf.

IT Consulting and services: system development and maintenance, consulting and trainings for companies and individuals, main focus on formal methods and interactive theorem proving

Picture Credits

• The background image of this page is by Monica Sauro, it has been published at Unsplash.
• The background image of my private webpage is by Volker Thies and licensed by Creative Commons Attribution-Share Alike 3.0 Unported license.
• This webpage uses PicoCMS with a heavily modified version of the personal theme by Mohamed Safouan Besrour
• The icon-pack (license CC BY 4.0) by keyamoon is used.
• flag symbols
  • UK: Original: Acts of Union 1800 Vector: Zscout370, Public domain, via Wikimedia Commons
  • DE: User:SKopp, User:Madden, and other users, Public domain, via Wikimedia Commons

Privacy Policy

Personal data (usually referred to just as data below) will only be processed by us to the extent necessary and for the purpose of providing a functional and user-friendly website, including its contents, and the services offered there.

Per Art. 4 No. 1 of Regulation (EU) 2016/679, i.e. the General Data Protection Regulation (hereinafter referred to as the GDPR), processing refers to any operation or set of operations such as collection, recording, organization, structuring, storage, adaptation, alteration, retrieval, consultation, use, disclosure by transmission, dissemination, or otherwise making available, alignment, or combination, restriction, erasure, or destruction performed on personal data, whether by automated means or not.

The following privacy policy is intended to inform you in particular about the type, scope, purpose, duration, and legal basis for the processing of such data either under our own control or in conjunction with others. We also inform you below about the third-party components we use to optimize our website and improve the user experience which may result in said third parties also processing data they collect and control.

Our privacy policy is structured as follows:

I. Information about us as controllers of your data
II. The rights of users and data subjects
III. Information about the data processing

I. Information about us as controllers of your data

The party responsible for this website (the controller) for purposes of data protection law is:

Thomas Tuerk
Albert-Otto-Str. 8
65611 Brechen
Germany

phone: +49 6483 803150
email: kontakt@thomas-tuerk.de

II. The rights of users and data subjects

With regard to the data processing to be described in more detail below, users and data subjects have the right

• to confirmation of whether data concerning them is being processed, information about the data being processed, further information about the nature of the data processing, and copies of the data (cf. also Art. 15 GDPR);
• to correct or complete incorrect or incomplete data (cf. also Art. 16 GDPR);
• to the immediate deletion of data concerning them (cf. also Art. 17 DSGVO), or, alternatively, if further processing is necessary as stipulated in Art. 17 Para. 3 GDPR, to restrict said processing per Art. 18 GDPR;
• to receive copies of the data concerning them and/or provided by them and to have the same transmitted to other providers/controllers (cf. also Art. 20 GDPR);
• to file complaints with the supervisory authority if they believe that data concerning them is being processed by the controller in breach of data protection provisions (see also Art. 77 GDPR).

In addition, the controller is obliged to inform all recipients to whom it discloses data of any such corrections, deletions, or restrictions placed on processing the same per Art. 16, 17 Para. 1, 18 GDPR. However, this obligation does not apply if such notification is impossible or involves a disproportionate effort. Nevertheless, users have a right to information about these recipients.

Likewise, under Art. 21 GDPR, users and data subjects have the right to object to the controller's future processing of their data pursuant to Art. 6 Para. 1 lit. f) GDPR. In particular, an objection to data processing for the purpose of direct advertising is permissible.

III. Information about the data processing

Your data processed when using our website will be deleted or blocked as soon as the purpose for its storage ceases to apply, provided the deletion of the same is not in breach of any statutory storage obligations or unless otherwise stipulated below.

Server data

For technical reasons, the following data sent by your internet browser to us or to our server provider will be collected, especially to ensure a secure and stable website: These server log files record the type and version of your browser, operating system, the website from which you came (referrer URL), the webpages on our site visited, the date and time of your visit, as well as the IP address from which you visited our site.

The data thus collected will be temporarily stored, but not in association with any other of your data.

The basis for this storage is Art. 6 Para. 1 lit. f) GDPR. Our legitimate interest lies in the improvement, stability, functionality, and security of our website.

The data will be deleted within no more than seven days, unless continued storage is required for evidentiary purposes. In which case, all or part of the data will be excluded from deletion until the investigation of the relevant incident is finally resolved.

Cookies

a) Session cookies

We use cookies on our website. Cookies are small text files or other storage technologies stored on your computer by your browser. These cookies process certain specific information about you, such as your browser, location data, or IP address.

This processing makes our website more user-friendly, efficient, and secure. A cookie is for example used to enable then the login into the ticket-system.

The legal basis for such processing is Art. 6 Para. 1 lit. f) GDPR. Our legitimate interest lies in improving the functionality of our website.

b) Disabling cookies

You can refuse the use of cookies by changing the settings on your browser. Likewise, you can use the browser to delete cookies that have already been stored. However, the steps and measures required vary, depending on the browser you use. If you have any questions, please use the help function or consult the documentation for your browser or contact its maker for support.

If you prevent or restrict the installation of cookies, not all of the functions on our site may be fully usable.

Contact

If you contact us (e.g. via email or the ticket-system), the data you provide will be used for the purpose of processing your request. We must have this data in order to process and answer your inquiry; otherwise we will not be able to answer it in full or at all.

The legal basis for this data processing is Art. 6 Para. 1 lit. b) GDPR.

Your data (with exception to the data entered into the ticket-system) will be deleted once we have fully answered your inquiry and there is no further legal obligation to store your data, such as if an order or contract resulted therefrom. The data in the ticket-system will be stored until you ask us to delete it. This allows you to access you old requests.

based on Model Data Protection Statement by Anwaltskanzlei Weiß & Partner