Teaching

Winter 2019/20

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

• Softwaretechnik: Lecture, details in iLearn
• Softwareprojekt, details on website

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

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.