Dr. Thomas Türk
Experte für interaktives Theorembeweisen

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.

Fähigkeiten

Curriculum Vitae

Berufserfahrung

Ausbildung

Kontakt

Sollte ich Ihr Interesse geweckt haben, kontaktieren Sie mich doch unverbindlich. Dafür bietet sich eine eMail oder ein Telefonanruf an. Nach initialer Kontaktaufnahme stehe ich Ihnen auch gerne für persönliche Treffen und über andere Kommunikationswege (z.B. übliche Videotelefonieplattformen) zur Verfügung. Für bestehende Kunden kann, insbesondere im Zusammenhang mit bestehenden Aufträgen, auch die Verwendung meines Helpdesks sinnvoll sein.

Eine Liste meiner Veröffentlichungen, Vorträge und sonstiger Dokumente finden Sie unter Veröffentlichungen.

Hier finden Sie eine Auswahl meiner aktuellen und alten Projekte:

Lem / ADATT

Mein besonderes Interesse liegt in der Vereinfachung der Kommunikation zwischen Domain-Experten und Experten für interaktives Theorembeweisen (ITP). Um interaktiven Theorembeweisen (ITP) für die Absicherung praxisrelevanter Systeme einsetzen zu können, werden zuverlässige, detaillierte Modelle realer, großer System wie z.B. Prozessoren oder Programmiersprachen benötigt. Dies ist sehr viel Arbeit und die nötigen Details sind nur Experten für diese Systeme (im Folgenden Domain-Experten genannt) bekannt. Solche Domain-Experten sind jedoch meist keine Experten für formale Methoden oder ITP. Eine solche ITP Expertise ist jedoch für die Erstellung guter formaler Modelle nötig. Ich interessiere mich für die Zusammenarbeit von Domain- und ITP-Experten für bei der Erstellung solcher Modelle.

Mein Interesse erwachte bei der Arbeit Prof. Peter Sewell an Lem, einem Tool für die Erstellung portabler Spezifikationen. Die letzten Jahre habe ich in meiner Freizeit an einem Tools namens ADATT gearbeitet, dessen Schwerpunkt auf einfacher Benutzbarkeit durch Domain-Experten liegt. (Poster, Vortrag, aktueller Status). Aufgrund anderer Projekte fand in den letzten Jahren kaum Arbeit an ADATT statt. Ich plane aber weiterhin, daran weiterzuarbeiten.

Holfoot

Für meine Doktorarbeit (A Separation Logic Framework for HOL) habe ich das Tool Holfoot entwickelt, eine Formalisierung von Smallfoot im Theorembeweiser HOL 4. Holfoot ist online verfügbar (Poster, Paper TPHOLs 2009, Vortrag).

Vorlesung über interaktives Theorembeweisen

2017 gab ich eine Vorlesung über iteraktives Theorembeweisen und den Theorembeweiser HOL 4 an der KTH in Stockholm. Die von mir für diese Vorlesung in englischer Sprache erstellten Folien (Druckversion, Quellen) sowie die Übungsblätter sind frei verfügbar.

Verifikation eines Micro-Hypervisor mit Coq

Als Teil eines kommerziellen Formalen-Methoden-Teams arbeitete ich zwischen Juli 2014 und Sep. 2016 an der Absicherung eines Micro-Hypersors mit Hilfe von Coq.

Impressum

Angaben gemäß § 5 DDG

Dr. Thomas Türk, Dipl.-Inf.

IT Beratung und Dienstleistungen: Systementwicklung und -instandhaltung, Beratung und Schulungen für Unternehmen sowie Privatpersonen, Schwerpunkt formale Methoden und interaktives Theorembeweisen

Verantwortlich für den Inhalt

Dr. Thomas Türk, Albert-Otto-Str. 8, 65611 Brechen

Bildnachweis

• Das auf dieser Seite verwendete Hintergrundbild stammt von Monica Sauro und wurde auf Unsplash veröffentlicht.
• Es wird das CMS Grav mit einer von Thomas Türk stark angepassten Version des Themes personal von Mohamed Safouan Besrour verwendet
• Der Icon-Pack (Lizenz CC BY 4.0) von keyamoon wird verwendet.
• Die verwendeten Flaggen-Icons stammen von
  • 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

Datenschutzerklärung

Personenbezogene Daten (nachfolgend zumeist nur Daten genannt) werden von uns nur im Rahmen der Erforderlichkeit sowie zum Zwecke der Bereitstellung eines funktionsfähigen und nutzerfreundlichen Internetauftritts, inklusive seiner Inhalte und der dort angebotenen Leistungen, verarbeitet.

Gemäß Art. 4 Nr. 2 der Verordnung (EU) 2016/679, also der Datenschutz-Grundverordnung (nachfolgend nur DSGVO genannt), gilt als Verarbeitung jeder mit oder ohne Hilfe automatisierter Verfahren ausgeführter Vorgang oder jede solche Vorgangsreihe im Zusammenhang mit personenbezogenen Daten, wie das Erheben, das Erfassen, die Organisation, das Ordnen, die Speicherung, die Anpassung oder Veränderung, das Auslesen, das Abfragen, die Verwendung, die Offenlegung durch Übermittlung, Verbreitung oder eine andere Form der Bereitstellung, den Abgleich oder die Verknüpfung, die Einschränkung, das Löschen oder die Vernichtung.

Mit der nachfolgenden Datenschutzerklärung informieren wir Sie insbesondere über Art, Umfang, Zweck, Dauer und Rechtsgrundlage der Verarbeitung personenbezogener Daten, soweit wir entweder allein oder gemeinsam mit anderen über die Zwecke und Mittel der Verarbeitung entscheiden.

Unsere Datenschutzerklärung ist wie folgt gegliedert:

I. Informationen über uns als Verantwortliche
II. Rechte der Nutzer und Betroffenen
III. Informationen zur Datenverarbeitung

I. Informationen über uns als Verantwortliche

Verantwortlicher Anbieter dieses Internetauftritts im datenschutzrechtlichen Sinne ist:

Thomas Türk
Albert-Otto-Str. 8
65611 Brechen
Deutschland

Telefon: +49 6483 803150
E-Mail: kontakt@thomas-tuerk.de

II. Rechte der Nutzer und Betroffenen

Mit Blick auf die nachfolgend noch näher beschriebene Datenverarbeitung haben die Nutzer und Betroffenen das Recht

• auf Bestätigung, ob sie betreffende Daten verarbeitet werden, auf Auskunft über die verarbeiteten Daten, auf weitere Informationen über die Datenverarbeitung sowie auf Kopien der Daten (vgl. auch Art. 15 DSGVO);
• auf Berichtigung oder Vervollständigung unrichtiger bzw. unvollständiger Daten (vgl. auch Art. 16 DSGVO);
• auf unverzügliche Löschung der sie betreffenden Daten (vgl. auch Art. 17 DSGVO), oder, alternativ, soweit eine weitere Verarbeitung gemäß Art. 17 Abs. 3 DSGVO erforderlich ist, auf Einschränkung der Verarbeitung nach Maßgabe von Art. 18 DSGVO;
• auf Erhalt der sie betreffenden und von ihnen bereitgestellten Daten und auf Übermittlung dieser Daten an andere Anbieter/Verantwortliche (vgl. auch Art. 20 DSGVO);
• auf Beschwerde gegenüber der Aufsichtsbehörde, sofern sie der Ansicht sind, dass die sie betreffenden Daten durch den Anbieter unter Verstoß gegen datenschutzrechtliche Bestimmungen verarbeitet werden (vgl. auch Art. 77 DSGVO).

Darüber hinaus ist der Anbieter dazu verpflichtet, alle Empfänger, denen gegenüber Daten durch den Anbieter offengelegt worden sind, über jedwede Berichtigung oder Löschung von Daten oder die Einschränkung der Verarbeitung, die aufgrund der Artikel 16, 17 Abs. 1, 18 DSGVO erfolgt, zu unterrichten. Diese Verpflichtung besteht jedoch nicht, soweit diese Mitteilung unmöglich oder mit einem unverhältnismäßigen Aufwand verbunden ist. Unbeschadet dessen hat der Nutzer ein Recht auf Auskunft über diese Empfänger.

Ebenfalls haben die Nutzer und Betroffenen nach Art. 21 DSGVO das Recht auf Widerspruch gegen die künftige Verarbeitung der sie betreffenden Daten, sofern die Daten durch den Anbieter nach Maßgabe von Art. 6 Abs. 1 lit. f) DSGVO verarbeitet werden. Insbesondere ist ein Widerspruch gegen die Datenverarbeitung zum Zwecke der Direktwerbung statthaft.

III. Informationen zur Datenverarbeitung

Ihre bei Nutzung unseres Internetauftritts verarbeiteten Daten werden gelöscht oder gesperrt, sobald der Zweck der Speicherung entfällt, der Löschung der Daten keine gesetzlichen Aufbewahrungspflichten entgegenstehen und nachfolgend keine anderslautenden Angaben zu einzelnen Verarbeitungsverfahren gemacht werden.

Serverdaten

Aus technischen Gründen, insbesondere zur Gewährleistung eines sicheren und stabilen Internetauftritts, werden Daten durch Ihren Internet-Browser an unseren Server übermittelt. Mit diesen sog. Server-Logfiles werden u.a. Typ und Version Ihres Internetbrowsers, das Betriebssystem, die Website, von der aus Sie auf unseren Internetauftritt gewechselt haben (Referrer URL), die Website(s) unseres Internetauftritts, die Sie besuchen, Datum und Uhrzeit des jeweiligen Zugriffs sowie die IP-Adresse des Internetanschlusses, von dem aus die Nutzung unseres Internetauftritts erfolgt, erhoben.

Diese so erhobenen Daten werden vorübergehend gespeichert, dies jedoch nicht gemeinsam mit anderen Daten von Ihnen.

Diese Speicherung erfolgt auf der Rechtsgrundlage von Art. 6 Abs. 1 lit. f) DSGVO. Unser berechtigtes Interesse liegt in der Verbesserung, Stabilität, Funktionalität und Sicherheit unseres Internetauftritts.

Die Daten werden spätestens nach sieben Tagen wieder gelöscht, soweit keine weitere Aufbewahrung zu Beweiszwecken erforderlich ist. Andernfalls sind die Daten bis zur endgültigen Klärung eines Vorfalls ganz oder teilweise von der Löschung ausgenommen.

Cookies

a) Einsatz von Cookies

Diese Website (https://www.thomas-tuerk.de) verwendet keine Cookies. Cookies werden aber von unserem Ticketsystem (https://helpdesk.thomas-tuerk.de), unserem Nextcloud-Server (https://nextcloud.thomas-tuerk.de) sowie dem Git-Server (https://git.thomas-tuerk.de) eingesetzt, teilweise auch ohne Anmeldung. Cookies sind kleine Textdateien oder andere Speichertechnologien, die durch den von Ihnen eingesetzten Internet-Browser auf Ihrem Endgerät abgelegt und gespeichert werden. Durch diese Cookies werden im individuellen Umfang bestimmte Informationen von Ihnen, wie beispielsweise Ihre Browser- oder Standortdaten oder Ihre IP-Adresse, verarbeitet.

Durch diese Verarbeitung werden unsere Dienste benutzerfreundlicher, effektiver und sicherer. Ein Cookie ermöglicht beispielsweise den Login in unser Ticketsystem.

Rechtsgrundlage dieser Verarbeitung ist Art. 6 Abs. 1 lit. f) DSGVO. Unser berechtigtes Interesse liegt in der Verbesserung der Funktionalität dieser Dienste.

b) Beseitigungsmöglichkeit

Sie können die Installation der Cookies durch eine Einstellung Ihres Internet-Browsers verhindern oder einschränken. Ebenfalls können Sie bereits gespeicherte Cookies jederzeit löschen. Die hierfür erforderlichen Schritte und Maßnahmen hängen jedoch von Ihrem konkret genutzten Internet-Browser ab. Bei Fragen benutzen Sie daher bitte die Hilfefunktion oder Dokumentation Ihres Internet-Browsers oder wenden sich an dessen Hersteller bzw. Support.

Sollten Sie die Installation der Cookies verhindern oder einschränken, kann dies allerdings dazu führen, dass nicht sämtliche Funktionen dieser Dienste vollumfänglich nutzbar sind.

Kontaktanfragen, Ticketsystem, Nextcloud und Git-Server

Sofern Sie per E-Mail oder über unser Ticketsystem (https://helpdesk.thomas-tuerk.de) mit uns in Kontakt treten, werden die dabei von Ihnen angegebenen Daten zur Bearbeitung Ihrer Anfrage genutzt. Die Angabe der Daten ist zur Bearbeitung und Beantwortung Ihrer Anfrage erforderlich - ohne deren Bereitstellung können wir Ihre Anfrage nicht oder allenfalls eingeschränkt beantworten. Anfragen über das Ticketsystem sind auch ohne Benutzerkonto möglich.

Für die Zusammenarbeit mit Kunden und Projektpartnern betreiben wir zusätzlich einen Nextcloud-Server (https://nextcloud.thomas-tuerk.de) zum Austausch von Dateien sowie einen Git-Server (https://git.thomas-tuerk.de) zur Verwaltung von Quellcode. Ticketsystem, Nextcloud und Git-Server werden, ebenso wie diese Website, auf einem von uns selbst administrierten dedizierten Server betrieben. Dieser ist bei der Hetzner Online GmbH, Industriestr. 25, 91710 Gunzenhausen, angemietet und steht in deren Rechenzentrum in Falkenstein (Deutschland). Mit Hetzner besteht ein Vertrag zur Auftragsverarbeitung gemäß Art. 28 DSGVO. Eine darüber hinausgehende Weitergabe der dort gespeicherten Daten an Dritte findet nicht statt.

Sofern Sie ein Benutzerkonto für einen dieser Dienste nutzen, verarbeiten wir Ihren Namen, Ihre E-Mail-Adresse und Ihren Benutzernamen sowie die von Ihnen eingestellten Inhalte (z.B. Anfragen, Dateien, Quellcode, Kommentare) und zugehörige Metadaten wie Zeitpunkt und Urheber von Änderungen.

In der Nextcloud und auf dem Git-Server gibt es zudem öffentlich freigegebene Inhalte, etwa öffentliche Repositories oder Freigabe-Links. Diese können ohne Benutzerkonto abgerufen werden. Dabei werden die oben unter „Serverdaten“ beschriebenen Server-Logfiles erhoben; zudem können die Dienste auch ohne Anmeldung technisch notwendige Cookies setzen (siehe „Cookies“).

Rechtsgrundlage für diese Verarbeitung ist Art. 6 Abs. 1 lit. b) DSGVO, soweit sie der Durchführung eines Vertrags oder vorvertraglicher Maßnahmen dient, im Übrigen Art. 6 Abs. 1 lit. f) DSGVO. Unser berechtigtes Interesse liegt in der Beantwortung von Anfragen sowie einer effizienten und sicheren Zusammenarbeit.

Daten aus Anfragen per E-Mail werden gelöscht, sofern Ihre Anfrage abschließend beantwortet worden ist und der Löschung keine gesetzlichen Aufbewahrungspflichten entgegenstehen, wie bspw. bei einer sich etwaig anschließenden Vertragsabwicklung. Ihre Daten im Ticketsystem, in der Nextcloud und auf dem Git-Server werden gespeichert, bis Sie uns zur Löschung auffordern. Dadurch ist es Ihnen beispielsweise möglich zu sehen, welche Anfragen Sie uns bereits gestellt haben. Inhalte in Git-Repositories sind Teil der Versionsgeschichte; ihre Löschung erfolgt daher in der Regel durch Löschen des gesamten Repositories.

Basierend auf Muster-Datenschutzerklärung der Anwaltskanzlei Weiß & Partner.