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

  • Mar 12, 2022 09:00 AM to Mar 15, 2022 03:00 PM Honolulu - Hawaii (USA) ICSA 2022
  • Mar 15, 2022 09:00 AM to Mar 18, 2022 03:00 PM Honolulu, Hawaii (USA) SANER 2021
  • Apr 09, 2022 09:00 AM to Apr 13, 2022 03:00 PM Beijing, China ICPE 2022
  • May 20, 2022 09:00 AM to May 28, 2022 03:00 PM Pittsburgh, PA (USA) ICSE 2022
Research Projects

Teaching