Information für Studierende
Sprechstunde nach Vereinbarung.Lehre im WS 2007/08:
- Vorlesung "Automaten, Formale Sprachen (und Berechenbarkeit)" (4+2 SWS)
- Praktikum "Effizientes Programmieren" (6 SWS)
- Proseminar "Spieltheorie" (2 SWS)
- Vorlesung "Komplexitätstheorie" (4+2 SWS)
- Vorlesung "Entscheidbarkeit und Berechenbarkeit" (2 SWS)
- Praktikum "Effizientes Programmieren (ehemals Game Playing)" (6 SWS)
Wir suchen ständig nach engagierten Studierenden für Systementwicklungsprojekte (SEPs), Diplomarbeiten, Dissertationen etc. Die Themen werden i.a. nicht ausgeschrieben, sondern nach Interessenslage festgelegt. Relevante Gebiete umfassen die bei "Research" aufgelisteten Bereiche, sind aber auf diese nicht beschränkt.