Institut für Informatik
print
Navigationspfad
Inhaltsbereich

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

Publikationen

Organisation

Lehre

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