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 2017/18

Summer Term 2017

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