We offer courses on formal methods, the formal modeling and analysis of information systems and their requirements, on foundational topics in information security, and on the security analysis of critical IT systems. Furthermore, we also offer Bachelor's and Master's theses related to these topics. 

Summer Term 2024

 Winter Term 2023/2024

Summer Term 2023

Summer Term 2022

Winter Term 2021/2022

Summer Term 2021

Information regarding the Corona pandemic:
All of our course will happen. You can find more information on the individual web pages of each course.

Studying abroad:

Information concerning the form "Anerkennung für eine im Ausland abgelegte Prüfung oder Studienleistung"

Past Teaching at TU Darmstadt:

Past Teaching at RWTH Aachen:

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang