Teaching

Winter 2018/19

• Engineering Secure Software Systems: Lecture and Exercise Class, details in OLAT
• Software Engineering for Parallel and Distributed Systems: Exercise Class, details in OLAT
• Softwareprojekt, details on website

Summer 2018

• Betriebs- und Kommunikationssysteme: Lecture (together with Sandro Esquivel), details in UnivIS
• Softwareprojekt, details in website

Winter 2017/18

• Engineering Secure Software Systems: Lecture and Exercise Class, details in OLAT
• Software Architecture: Exercise Class, details in OLAT
• Softwareprojekt, details on website

Summer 2017

• Software Engineering for Parallel and Distributed Systems: Exercise Class, details in OLAT
• Softwaretechnik: 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.