Lehrveranstaltungen
Lehre im SS 2007:
- Vorlesung "Komplexitätstheorie" (4+2 SWS)
- Vorlesung "Entscheidbarkeit und Berechenbarkeit" (2 SWS)
- Praktikum "Effizientes Programmieren (ehemals Game Playing)" (6 SWS)
Lehre im WS 2006/07:
- Vorlesung "Automaten, Formale Sprachen und Berechenbarkeit" (4+2 SWS)
- Praktikum "Game Playing" (6 SWS)
- Praktikum "SAT-Solver" (6 SWS)
Lehre im SS 2006:
- Vorlesung "Komplexitätstheorie" (4+2 SWS)
- Vorlesung "Automatentheorie und Logik" (2 SWS)
- Praktikum "Game Playing" (6 SWS)
Lehre im WS 2005/06:
- Vorlesung "Automaten, Formale Sprachen und Berechenbarkeit" (4+2 SWS)
- Vorlesung "Binäre Entscheidungsgraphen (OBDDs)" (2 SWS)
- Hauptseminar "Spieltheorie" (2SWS)
- Proseminar "Unix-Tools" (2SWS)
- Praktikum "Game Playing" (6SWS)
Lehre im SS 2005:
- Vorlesung "Automaten, Formale Sprachen und Berechenbarkeit II" (2 SWS)
- Vorlesung "Petrinetze" (2 SWS)
- Proseminar "Unix-Tools für Fortgeschrittene" (2SWS)
- Praktikum "Game Playing" (6 SWS)
Lehre im WS 2004/05:
- Vorlesung "Automaten, Formale Sprachen und Berechenbarkeit" (4+2 SWS)
- Praktikum "Game Playing" (6 SWS)
Lehre im SS 2004:
- Vorlesung "Effiziente Algorithmen und Datenstrukturen II" (4+2 SWS)
- Proseminar "Komplexitätsanalyse von Spielen" (2 SWS)
Lehre im WS 2003/04:
- Übungsleitung zu "Formale Sprachen und Berechenbarkeit" (4+2 SWS)
- Betreuung von Vorträgen im Proseminar "Beschreibungskomplexität formaler Systeme" (2 SWS)
Lehre im SS 2003:
- Übungsleitung zu "Nichtsequentielle Systeme und nebenläufige Prozesse" (2 SWS)
- Proseminar "Komplexitätsanalyse von Spielen" (2 SWS)
Lehre im WS 2002/03:
- Übungsleitung zu "Formale Sprachen und Berechenbarkeit" (2 SWS)
- Praktikum Praktikum Automatentheorie (6 SWS)
- Proseminar "Pattern-Matching- und Textalgorithmen"
Lehre im SS 2002:
- Vorlesung "Formale Sprachen und Berechenbarkeit II" (2 SWS)
- Betreuung von Vorträgen im Hauptseminar "Model Checking" (2 SWS)
Lehre im WS 2001/02:
- Übungsleitung zu "Diskrete Strukturen I" (2 SWS)
- Proseminar "Komplexitätsanalyse von Spielen" (2 SWS)
Lehre im SS 2001:
- Übungsleitung zu "Einführung in die Informatik IV" (2 SWS)
- Betreuung von Vorträgen im Proseminar "Formale Logik und ihre Anwendung in der Informatik" (2 SWS)
Lehre im WS 2000/01:
- Übungsleitung zu "Formale Sprachen und Berechenbarkeit" (2 SWS)
- Betreuung von Vorträgen im Proseminar "Algorithmen, Sprachen und Konzepte für das WWW" (2 SWS)