Information
Curriculum Vitae
since 2006 | Head of Department Office at the Institute for Informatics of LMU Munich |
2002-2006 | Lecturer at the Institute for Informatics of LMU Munich, Chair for Theoretical Computer Science (Prof. Martin Hofmann) |
1999-2002 | Emmy Noether junior research group leader at the Institute for Informatics of LMU Munich, Chair for Theoretical Computer Science (Prof. Peter Clote, Prof. Martin Hofmann) |
1997-1999 | Postdoc at the Department of Mathematics, University of California, San Diego with Prof. Samuel R. Buss |
1996 | Doctoral Degree in Informatics from FAU Erlangen-Nürnberg |
1991-1997 | Teaching and Research Assistant at the Institute for Informatics of FAU Erlangen-Nürnberg, Chair Informatics 1 (Theoretical Informatics, Prof. Klaus Leeb) |
1991 | Diploma in Informatics from FAU Erlangen-Nürnberg |
1985-1991 | Student of Informatics at FAU Erlangen-Nürnberg |
Research interests
- Propositional Proof Complexity
Proof Complexity Theme Song - SAT Solving
- Theories of Bounded Arithmetic
Organisation
- Proof Complexity Workshop at FLoC 2022
- Program committee member at SAT 2020
- Program committee member at SAT 2019
- Proof Complexity Workshop at FLoC 2018
- Proof Complexity Workshop at the Vienna Summer of Logic, 2014
Teaching
- SAT Solving
- Logik und Diskrete Strukturen
- Approximations-Algorithmen
- Theoretische Informatik für Medieninformatiker
- Komplexitätstheorie
Other
- Board member of LMU Alumni Informatik e.V.
- Saxophone player with the Bigband Dachau
- Board member of Knabenkapelle Dachau e.V.
Document Actions