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 aerospace 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, implementation 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 compute and mission control we operate.

News

• Jul'26: Paper on cloud-native architectural refactoring of ESA's NMF to appear on ECSA
• Apr'26: Paper/dataset/tool on LTL to appear on COMPSAC
• Mar'26: ERMIS mission launched on SpaceX's Transporter 16
• Dec'25: Paper on ethical system design to appear on ICSE'26 SEIS track in Rio de Janeiro

• July '25: CUBEX, a CubeSat exemplar for teaching architecture principles to appear on ECSA Tools. CUBEX Video walkthrough

• Mar'25: Organizing "Engineering Dependable Ubiquitous Systems" symposium, Shonan Japan