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.

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.

Winter Term 2020/2021

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