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. 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

• Apr '25: Paper on SpaceWire specification with temporal logics on FormaliSE
• Mar'25: "Engineering Dependable Ubiquitous Systems" symposium, Shonan Japan
• Feb'25: Paper on spatio-temporal verification of UIs to appear on IEEE Transactions on the Web
• Oct'24: Paper on automated code contracts generation with Generative AI on GPCE

• Sept'24: Paper on goal monitoring for flight software on COMPSAC