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)

• Oct '26 Paper on satellite flight software architectures on JSS
• 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

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 Validation (Software Assurance, Mission Control, Software Ground Segment. 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, CASE2Space@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).

Vienna Manifesto on Digital Humanism, CZ's principles, "You and your research" by R.W. Hamming.

Recent Research (selected)