Lehre (AG Krieg-Brückner)

Die Arbeitsgruppe Krieg-Brückner beteiligt sich an den Lehrveranstaltungen Praktische Informatik im Informatik-Grundstudium. Im Hauptstudium vertritt sie das Teilgebiet Programmiersprachen und Übersetzer und trägt Lehrveranstaltungen über Formale Methoden zum Teilgebiet Softwaretechnik und über Kognitive Robotik zum Teilgebiet Künstliche Intelligenz bei.

Regelmäßige Lehrveranstaltungen (nach Teilgebieten)

• Programmiersprachen und Übersetzer
• Formale Methoden der Softwaretechnik (Christoph, Till, Markus, Lutz)
• Kognitive Robotik

Aktuelle Lehrveranstaltungen

• Angebot im Sommer 2013

Studentische Projekte

• Themenvorschläge fü neue Projekte (ggf.)
• laufende Projekte
• abgeschlossene Projekte

Diplomarbeiten

• Offene Themen
• in Arbeit
• abgeschlossen

Dissertationen und Habilitationen

Das Extratreffen ("Graduiertenseminar Sichere Kognitive Systeme")