Teaching (AG Krieg-Brückner)
The working group Krieg-Brückner contributes to courses in Practical Computer Science (Praktische Informatik) in the first and second year. In the third and fourth year, it serves the subarea Programming Languages and Compilers (Programmiersprachen und Übersetzer) and contributes courses on Formal Methods to the subarea Software Engineering, and courses on Cognitive Robotics to the subarea Articicial Intelligence.
Most links from this page are still only in German; sorry!Regular Courses
- Programming Languages and Compilers
- Formal Methods in Software Engineering
- Cognitive Robotics
Actual courses
- Programme in summer 2013
Students Projects
- Proposals for new projects (in case there are some)
- Current projects
- Completed projects
Diploma theses
- Open topics
- In progress
- Completed
Dissertations and Habilitations
Extratreffen ("Graduiertenseminar Sichere Kognitive Systeme")
Author: Dr. Berthold Hoffmann
| Last updated: March 18, 2013 |  |