Informations
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
Organisation
- 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
- Theoretische Informatik für Medieninformatiker
- SAT Solving
- Komplexitätstheorie
- Approximations-Algorithmen
Sonstiges
- 2. Vorsitzender des LMU Alumni Informatik e.V.
- Saxophonist bei der Bigband Dachau
- Vorstandsmitglied bei der Knabenkapelle Dachau e.V.
Document Actions