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

  • Apr 09, 2018 09:00 AM to Apr 13, 2018 01:00 PM Berlin ICPE 2018
  • May 16, 2018 09:00 AM to May 17, 2018 01:00 PM Kiel DevOpsDays 2018
Research Projects

  • more...

     ExplorVizLogo160x37[1].png    iobserve-logo-small    CloudMIG Xpress

     

    Future-Ocean-logo    kieker-logo       PubFlow

     

    teetime-logo   SpratGeRDI

Teaching