Christos Tsigkanos is assistant professor at the University of Athens, Department of Aerospace, where he is bootstrapping the Space Software Group. He received his PhD (2017) at Politecnico di Milano (advised by Carlo Ghezzi) and also holds Habilitation (2022). Senior researcher at the University of Bern (with Timo Kehrer), previously Lise Meitner Fellow of the Austrian Science Foundation, and post-doctoral researcher at TU Vienna (with Schahram Dustdar). His research interests lie in the intersection of software and (software) systems engineering - including dependable systems, applied formal methods and space software.

📰 News (recent)

• Jul '26 Paper on cloud-native architectural refactoring of ESA's NMF to appear on ECSA
• Apr '26 Paper on LTL specification in the Wild to appear on COMPSAC
• Mar '26 ERMIS mission launched on SpaceX's Transporter 16
• Dec '25 Paper on ethical system design on ICSE '26 SEIS track in Rio de Janeiro
• Sep '25 Paper on nanosatellite flight software architectures on ECSA
• May '25 Paper on spatio-temporal verification of UIs on IEEE Transactions on the Web
• Apr '25 Paper on SpaceWire specification with temporal logics to appear on FormaliSE
• Mar '25 "Engineering Dependable Ubiquitous Systems" symposium, Shonan Japan

✈️ Find me at (recent)

🎓 Teaching

• Space Software (STAR MSc, Univ. of Athens)
• Operating Systems (BSc, Univ. of Athens)

🚀 Projects

• RUNVERSPACE (PI, SNSF)
• ERMIS Constellation In-Orbit Val/Demo (Software Assurance, ESA & Greek Min. of Digital Governance)
• RV4THINGS (PI, Hellenic Foundation for Research & Innovation)
• CaSSIS-Verif (Co-PI, University of Bern)
• EDENSPACE (PI, Austrian Science Foundation)

📎 Committees (Current/Recent)

ICSE '27, ECSA '26, Formalise '26, SEAMS '26 (Artifacts), ECSA '25, ACSOS '25 (Artifacts PC Chair), ETAPS '25 (Org), ESEC/FSE '25 (Demos), SEAMS '25 (Artifacts).

💡 Miscellanea

Vienna Manifesto on Digital Humanism | Άρθρο στην Καθημερινή | Θέμα πανελλαδικών '19 (GR) | CZ's principles.

🔬 Recent Research (selected)