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 2018

Winter Term 2017/18

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