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
- Praktikum SAT Solving
- Logik und Diskrete Strukturen
- Complexity Theory
- Approximations-Algorithmen
Betreute Studienarbeiten:
- Laufend:
- Nico Rosinus: Finding Unsatisfiable Formulas by Machine Learning (Master-Praktikum)
- Leon Schulz: Formalisierung einer unteren Schranke für Resolutionsbeweise in Isabelle (Bachelorarbeit)
- Abgeschlossen
- Mia Müßig: Investigating Watched Literal Schemes for Pseudo-Boolean Solvers (Masterarbeit)
- Robin Pfau: Solving the Str8ts Puzzle with an SMT Solver (Bachelorarbeit)
- 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
- Vorstandsmitglied des LMU Alumni Informatik e.V.
- Saxophonist bei der Bigband Dachau
- Vorstandsmitglied bei der Knabenkapelle Dachau e.V.