Christos TsigkanosView profile
Assistant Professor
Christos Tsigkanos is an Assistant Professor at the University of Athens, Department of Aerospace Science and Technology, leading the Space Software Group. He holds a PhD from Politecnico di Milano (2017) and a Habilitation (2022). Previously, he was a post-doctoral researcher at TU Vienna and a Lise Meitner Fellow at the Austrian Science Foundation. His research focuses on software systems engineering, dependable systems, and space software, emphasizing formal methods and cyber-physical systems. Education: PhD in Software Engineering, Politecnico di Milano, 2017 Habilitation, 2022 Research Interests: Christos explores the intersection of software engineering and systems engineering, with a focus on dependability, formal methods, and space software systems. His work addresses challenges in temporal logics for specifications, runtime verification for IoT and edge systems, and model-driven engineering for reactive systems. He emphasizes practical applications in aerospace and robotics. Recent Articles: Recent work includes formal verification techniques for space software architectures, temporal logic applications in robotics, and scalable analysis of reactive systems. These contributions bridge theoretical formal methods with real-world software engineering challenges. Awards: ACM SIGSOFT Distinguished Paper Award (2020) Grants & Projects: RUNVERSPACE (PI, SNSF) ERMIS Constellation In-Orbit Validation (ESA Collaboration) RV4THINGS (Hellenic Foundation for Research) Labs/Teams: Leads the Space Software Group at the University of Athens, focusing on verified space software and cyber-physical systems. Collaborates with the University of Bern on space mission software assurance.


