Als Akademischer Rat und promovierter Informatiker arbeite ich an der Universität Paderborn in Forschung und Lehre im Bereich Logik und wissensbasierte Systeme. Dies umfaßt neben anspruchsvollen theoretischen Fragestellungen auch effiziente Programmierung und Anwendungen in der Verifikation, insbesondere Model Checking. Meine Arbeit beinhaltet ferner maschinelles Lernen und künstliche Intelligenz (KI) im allgemeinen. Darüber hinaus interessiere ich mich für Qualitätssicherung und Projektmanagement im Software-Engineering und kenne mich sehr gut mit Internet-Technologien und Computersicherheit aus.

Mit einem Stipendium der NRW International Graduate School "Dynamic Intelligent Systems" habe ich 2009 an der Universität Paderborn mit Auszeichnung "summa cum laude" in Informatik promoviert. Außerdem habe ich zwei Jahre in den USA studiert und dabei an der San Diego State University den Master of Science in Informatik mit Bestnote erworben.

Während meines gesamten Studiums war ich Stipendiat der Studienstiftung des deutschen Volkes und wurde in nationalen und internationalen Informatikwettbewerben ausgezeichnet. Insbesondere war ich Mitglied der vierköpfigen deutschen Mannschaft bei der Internationalen Informatikolympiade IOI 1996 und der Zentraleuropäischen Informatikolympiade CEOI 1997 und habe bei letzterer eine Bronzemedaille gewonnen.

Aktuelle Aktivitäten

• Unternehmensberatung zu Data Mining und Wissensmanagement (Frühjahr 2012)
• Mitglied im Programmkomitee der internationalen Konferenz SAT 2012 (Theory and Applications of Satisfiability Testing) in Trento, Italien
• Sachverständiger/Judge bei den internationalen Forschungswettbewerben QBFEVAL 2010 und 2012
• Mitorganisator der internationalen Konferenz SAT 2008 in Guangzhou, China
• Mitglied des Landesprüfungsamtes NRW für das erste Staatsexamen Lehramt Informatik Gymnasium/Gesamtschule (seit 2009)
• Schatzmeister und Mitglied im Koordinationsteam des Vereins Alumni der Studienstiftung, Regionalgruppe Ostwestfalen/Lippe (seit 2011)

Weitere Informationen finden Sie auch in meinem XING-Profil (nur für registrierte Mitglieder) sowie auf meiner alten Homepage.