Space Software Group.

The Space Software Group (lead: Christos Tsigkanos) at the Department of Aerospace Science and Technology of the University of Athens is based on the premise that cutting-edge software engineering research is direly needed for the next generation of space applications, which are increasingly software-intensive. At the same time, software engineering research can itself benefit from exposure to such a hugely important, real-world domain, with stringent requirements and correctness needs.

As such, the Space Software Group is concerned with various aspects of engineering dependable software systems spanning their design, modelling and verification via application of formal methods. Active research interests include practical software verification, distributed and edge computing as well as self-adaptive systems.

See research projects we are involved in, our team, teaching activities or infrastructure we operate.

News

  • Sept'24: Paper on goal monitoring for flight software on COMPSAC
  • Jul'24: Tool on slicing and visualizing F' topologies on ECSA
  • Feb'24: Paper on SMT-as-a-Service for Fog systems on ICDCN