Teaching

Winter 2017/18 (subject to change)

• Engineering Secure Software Systems: Lecture and Exercise Class
• Software Architecture: Exercise Class
• 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

Winter 2016/17

• Software Architecture: Exercise Class, details in OLAT
• Softwareprojekt, details on website

For older courses, see archive.

Research interests

• 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.