Skip to main content

Teaching - Winter Term 2025/26

Teaching - Winter Term 2025/26

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.

Courses

  • Integrated Course: Static and Dynamic Program Analysis
  • Seminar: Foundations of Computer Security
  • Graduate Seminar: MAIS