Lebenslauf
seit 2006 | Leiter der Geschäftsstelle des Instituts für Informatik der LMU |
2002-2006 | Akademischer Rat auf Zeit am Institut für Informatik der LMU, Lehrstuhl Theoretische Informatik (Prof. Martin Hofmann) |
1999-2002 | Leiter einer Emmy-Noether-Nachwuchsgruppe am Institut für Informatik der LMU, Lehrstuhl Theoretische Informatik (Prof. Peter Clote, Prof. Martin Hofmann) |
1997-1999 | Postdoktorand am Department of Mathematics, University of California, San Diego bei Prof. Samuel R. Buss |
1996 | Promotion in Informatik an der FAU Erlangen-Nürnberg |
1991-1997 | Wissenschaftlicher Mitarbeiter am Institut für Informatik der FAU Erlangen-Nürnberg, Lehrstuhl Informatik 1 (Theoretische Informatik, Prof. Klaus Leeb) |
1991 | Diplom in Informatik an der FAU Erlangen-Nürnberg |
1985-1991 | Studium der Informatik an der FAU Erlangen-Nürnberg |
Forschungsinteressen
- Komplexität aussagenlogischer Beweissysteme
Proof Complexity Theme Song - SAT Solving
- Theorien der Beschränkten Arithmetik
Publikationen
Organisation
- Kassenprüfer für die SAT Association
- Proof Complexity Workshop bei der FLoC 2022
- Mitglied des Programmkommittees bei der SAT 2020
- Mitglied des Programmkommittees bei der SAT 2019
- Proof Complexity Workshop bei der FLoC 2018
- Proof Complexity Workshop beim Vienna Summer of Logic, 2014
Lehre
- Complexity Theory
- Logik und Diskrete Strukturen
- SAT Solving
- Approximations-Algorithmen
Betreute Studienarbeiten:
- Laufend:
- Robin Pfau: Solving the Str8ts Puzzle with an SMT Solver (Bachelorarbeit)
- Mia Müßig: Investigating Watched Literal Schemes for Pseudo-Booleean Solvers (Masterarbeit)
- Abgeschlossen
- Bora Saygac: Uniform presentation and comparison of tractable cases of SAT (Bachelorarbeit)
- Mia Müßig: The (k,s)-SAT Problem (Master-Praktikum)
- Lydia Kondylidou: Supporting a CDCL SAT Solver by BDD Methods (Masterarbeit)
- Zu vergebende Themen
Sonstiges
- 2. Vorsitzender des LMU Alumni Informatik e.V.
- Saxophonist bei der Bigband Dachau
- Vorstandsmitglied bei der Knabenkapelle Dachau e.V.