The Space Software Group at the Department of Aerospace Science and Technology of the National and Kapodistrian 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.

https://software.aerospace.uoa.gr