Software Engineering Group

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

 

Upcoming Events

Research Projects

Teaching