Panagiotis Katsaros

Panagiotis Katsaros is an Associate Professor at the Department of Informatics, Aristotle University of Thessaloniki. His research spans formal verification, model-based system design, dependability, security, and simulation-based performance analysis. He contributes to rigorous methods for embedded systems, IoT, and fault-tolerant computing.

His work focuses on

• Formal verification and model checking
• Model-based design for multi-core and embedded systems
• Dependability and security of distributed systems
• Probabilistic analysis of security risks

He has published extensively on these topics, with recent works addressing reactive streaming software, IoT systems, and cloud elasticity. His research often bridges theoretical rigor with practical applications in real-time and safety-critical domains.

Scientific awards include

• BEST PAPER AWARD at 17th Panhellenic Conference on Informatics (PCI 2013)
• BEST PAPER AWARD at 15th Panhellenic Conference on Informatics (PCI 2011)

He collaborates with international institutions and has supervised students in software verification and distributed systems. His contributions to conferences like ETAPS, DSN, and COMPSAC highlight his expertise in systems analysis and software reliability.