Χρήστος Τσίγκανος
Christos
Tsigkanos
christos dot tsigkanos at aerospace dot uoa dot gr
christos dot tsigkanos at unibe dot ch
1FCC F879 5E17 9CD8 1824 AD48 27D5 79F2 0593 E2E6
Space Software Group
University of Athens, Greece
Department of Aerospace Science and Technology
University of Athens, Greece
Office hours upon request.
Christos Tsigkanos is assistant professor at the University of Athens, Department of Aerospace where he is bootstrapping the Space Software Group. He received (2017) his PhD 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.
Space Software Group
News (recent)
Find me at (recent)
GSSI L'Aquila (May'25), NII Tokyo (Mar'25), Politecnico di Milano (Jan'25), Univ. of Bern (Jan'25).
Program/Committees (current/recent)
ECSA '25, Artifacts PC Chair (ACSOS'25) , Organization ETAPS '25, ESEC/FSE '25 Demos, SEAMS '25 Artifacts, ECSA '24, SEAMS '24 (PC chair, Artifacts), AREA '24,
Teaching (current)
Space Software (STAR MSc, Univ. of Athens), Operating Systems (BSc, Univ. of Athens).
Projects
Miscellanea
Vienna Manifesto on Digital Humanism και άρθρο στην Καθημερινή, θέμα στις πανελλήνιες '19 (in greek), CZ's principles.Recent Research (selected)
-
Temporal Logics Meet Real-World Software Requirements: A Reality Check
R. Bögli, A. Rohani, T. Studer, C. Tsigkanos, T. Kehrer
in 13th International Conference on Formal Methods in Software Engineering (FormaliSE), 2025 (pdf)
-
SMT-as-a-Service for Fog-Supported Cyber-Physical Systems
S. Holzer, P. Frangoudis, C. Tsigkanos, S. Dustdar
in International 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
in IEEE Transactions on Software Engineering, 2023 (pdf)
-
Edge-based Runtime Verification for the Internet of Things
C. Tsigkanos, M. M. Bersani, P. A. Frangoudis and S. Dustdar
in IEEE Transactions on Services Computing, 2022 (pdf)
-
Managing Data Model Evolution with Transformations
L. Beurer-Kellner, J. v. Pilgrim, C. Tsigkanos, and T. Kehrer
in IEEE Transactions on Services Computing, 2023 (pdf)
-
Specification Patterns for Robotic Missions
C. Menghi, C. Tsigkanos, C. Ghezzi, P. Pelliccione and T. Berger
in IEEE Transactions on Software Engineering, 2021 (pdf)
in IEEE/ACM ICSE tool PsALM: Specification of Dependable Robotic Missions, 2019 (video walkthrough) (pdf)
in IEEE/ACM ICSE Journal First, 2020 (video)
Patterns, datasets, reproduction kits and tool support roboticpatterns.com
-
Adaptive Resource Management for the Latency-Sensitive Edge
Cosmin Avasalcai, Christos Tsigkanos and Schahram Dustdar
in IEEE Transactions on Internet Technology, 2022
in IEEE Transactions on Services Computing, 2022 (pdf)
-
Updating Air-Gapped Service-based Software Systems
O. Shabelnyk, P. A. Frangoudis, S. Dustdar and C. Tsigkanos
in European Conference on Software Architecture, 2021 (pdf)