General Information
The MOVES Group is involved in the teaching activities of the Informatics Department of the RWTH Aachen, in all computer science-related curricula. This involves the undergraduate courses (Vordiplom) in Theoretical Computer Science, and the graduate courses (Hauptstudium) indicated below.
Regular Lectures
Overview of the graduate courses that will be provided on a regular basis:
Lecture | Lecturer | Hours | Semester | Frequency | |
Model Checking | Katoen / Thomas | 4 | SS | annually | |
Advanced Model Checking | Katoen | 4 | WS | bi-annually | |
Foundations of the UML | Katoen / Noll | 3 | SS | bi-annually (from +/- 2008 on) | |
Probabilistic Models for Concurrency | Katoen | 2 | SS | bi-annually | |
Compiler Construction | Noll / Naumann | 4 | WS | annually | |
Modelling Concurrent Systems | Noll / Katoen | 2 | WS | bi-annually | |
Software Verification | Noll | 2 | SS | bi-annually | |
Semantics of Programming Languages | Noll | 2 | WS | bi-annually |
The semester indication is tentative and may change from year to year; please consult the Teaching pages in order to see obtain the current schedule
Examinations (Hauptdiplom)
- Theoretical Computer Science
- Vertiefungsgebiet
An Examination for the Informatik-Diplom is over 12 SWS (lectures only, not exercise classes). At least one of the lectures over 4 SWS should be from another chair. Possible combinations of lectures are maintained by the Studienberater in the Prüfermatrix.
Examinations can be arranged with the secretary of the group, Elke Ohlenforst, or directly with Prof. Katoen.
