Christos

Χρήστος Τσίγκανος

Christos Tsigkanos

Space Software Group
christos dot tsigkanos at aerospace dot uoa dot gr
christos dot tsigkanos at unibe dot ch
Space Software Group
Department of Aerospace Science and Technology
University of Athens, Greece
Office hours upon request.
1FCC F879 5E17 9CD8 1824 AD48 27D5 79F2 0593 E2E6

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
  • 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)

Univ. of Bern (May'26), UNISON Tokyo (Mar'26), ACSOS Tokyo (Sep'25), GSSI L'Aquila (May'25), NII Tokyo (Mar'25), Politecnico di Milano (Jan'25), Univ. of Bern (Jan'25).

Teaching

Projects

  • RUNVERSPACE (PI, SNSF)
  • ERMIS Constellation In-Orbit Validation (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, CZ's principles, "You and your research" by R.W. Hamming.

Recent Research (selected)

Google Scholar DBLP
Nanosatellite Flight Software: A Rigorous Software Architecture Perspective C. Vasilakis, A. Tsagkaropoulos, A. Motsios, C. Tsigkanos, D. Reisis European Conference on Software Architecture, 2025 [PDF]
CUBEX: A CubeSat Exemplar for Teaching Software Architecture Principles A. Motsios, T. Kehrer, C. Tsigkanos European Conference on Software Architecture, 2025 [PDF]
Temporal Logics Meet Real-World Software Requirements: A Reality Check R. Bogli, A. Rohani, T. Studer, C. Tsigkanos, T. Kehrer 13th Int. Conf. on Formal Methods in Software Engineering (FormaliSE), 2025 [PDF]
Automated Monitoring of Web User Interfaces E. Visconti, C. Tsigkanos, L. Nenzi ACM Transactions on the Web, 2025 [PDF]
SMT-as-a-Service for Fog-Supported Cyber-Physical Systems S. Holzer, P. Frangoudis, C. Tsigkanos, S. Dustdar Int. Conference on Distributed Computing and Networking, 2024 [PDF]
Quantitative Temporal Logic Specification Patterns for Robotics C. Menghi, C. Tsigkanos, M. Askarpour, P. Pelliccione, G. Vazquez, R. Calinescu, S. Garcia IEEE Transactions on Software Engineering, 2023 [PDF]
Edge-based Runtime Verification for the Internet of Things C. Tsigkanos, M. M. Bersani, P. A. Frangoudis, S. Dustdar IEEE Transactions on Services Computing, 2022 [PDF]
Managing Data Model Evolution with Transformations L. Beurer-Kellner, J. v. Pilgrim, C. Tsigkanos, T. Kehrer IEEE Transactions on Services Computing, 2023 [PDF]
Scalable Multiple-View Analysis of Reactive Systems C. Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi IEEE/ACM Automated Software Engineering, 2020 [PDF] | [Code] [*] ACM SIGSOFT Distinguished Paper Award
Specification Patterns for Robotic Missions C. Menghi, C. Tsigkanos, C. Ghezzi, P. Pelliccione, T. Berger IEEE Transactions on Software Engineering, 2021 [PDF] Tool and patterns catalog: roboticpatterns.com | Video
Copyright notice