We are involved in the specialisation Modelling and Analysis of Complex Systems (MAX). Information on this specialisation can be found in the respective description for the subject Bachelor's degree in Computing Science or the subject Master's degree in Computing Science.

Here you will find a non-exhaustive list of the courses offered by our department. You can find current information on the events both in Stud.IP and on the notice board of Theoretical Computing Science in the corridor in front of wing A3 2nd floor. If you are interested in a specific course, please contact us.

For Bachelor students we offer:

• Theoretical Computing Science: Logic
• Fundamentals of Theoretical Computing Science
• Programme Verification
• Algorithms for software verification

For Master students we offer

• Real-time systems
• Verification of object-oriented programmes
• Combination of specification techniques
• Communicating and mobile systems
• Synthesis through games

• Automata models in Computing Science
• Logic in Computing Science
• Diagrams in Computing Science
• Verification of systems with infinite state spaces