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 2020

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 2019/20

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