Teaching

Winter 2021/22 (teaching planned on-campus)

• Engineering Secure Software Systems: Lecture and Exercise Class, details in OLAT
• Software Engineering für parallele und verteilte Systeme: Exercise class, details in OLAT
• Softwareprojekt, details on website

Summer 2021 (teaching online)

• Softwaretechnik: Exercise Class, details in OLAT
• Softwarearchitektur: Exercise class, details in Moodle
• Softwareprojekt, details on website

Winter 2020/21 (teaching online)

• Engineering Secure Software Systems: Lecture and Exercise Class, details in OLAT
• Software Engineering für parallele und verteilte Systeme: Exercise class, details in OLAT
• Softwareprojekt, details on website

For older courses, see archive.

Research interests

• Software Quality Metrics
• Cryptographic Protocols
• Logics for Multi-Agent Systems
• Information-Flow Security
• Modal Logic
• Complexity Theory
• Complexity of Satisfiability Problems
• Computational Social Choice

Publications

You can find my publications on DBLP, Google Scholar, or Arnet Miner.