Christos Tsigkanos
Papers
8
Total Citations
120
H-Index
6
About
Christos Tsigkanos is a leading researcher at the intersection of formal methods, robotics, and cyber-physical systems. His work focuses on engineering dependable software for mobile robots, with a particular emphasis on mission specification—the formal description of goals that robots must achieve. Tsigkanos has pioneered the use of specification patterns for robotic missions, enabling designers to express complex tasks in ways that are both human-understandable and precise enough for automated verification. His highly cited works, including "PsALM: Specification of Dependable Robotic Missions" (25 citations) and "Property specification patterns for robotic missions" (23 citations), have provided foundational tools for synthesizing, verifying, and simulating robotic behavior. He also introduced RoboMAX, an extensible repository of robotic mission adaptation exemplars designed to support self-adaptation research. Beyond robotics, Tsigkanos has contributed to the early validation of cyber-physical space systems through multi-concern integration, addressing the unique challenges of systems whose requirements depend on physical location and movement. His work is essential reading for anyone developing dependable, autonomous systems in domains ranging from logistics to healthcare.
Research Focus
Key Achievements
Top Papers
- 1PsALM: Specification of Dependable Robotic Missions25 citations · 2019
- 2
- 3Property specification patterns for robotic missions23 citations · 2018
- 4RoboMAX: Robotic Mission Adaptation eXemplars20 citations · 2021
- 5
- 6Formal Methods in Designing Critical Cyber-Physical Systems8 citations · 2019
- 7
- 8Specification Patterns for Robotic Missions2 citations · 2019