Katsaros Panagiotis

Panagiotis Katsaros is a Professor at the Department of Informatics, Aristotle University of Thessaloniki. His research focuses on Formal Methods, Software Dependability & Security, and Internet of Things (IoT) systems.

• 1992: Dipl. in Mathematics, Aristotle University
• 1993: M.Sc in Software Engineering, Aston University
• 2002: PhD in Informatics, Aristotle University

His work integrates model-based design with probabilistic verification to address challenges in embedded systems, IoT, and cloud environments. He has pioneered methodologies for correctness-by-construction and security-aware elasticity in distributed systems.

Recent publications (2015-2019) highlight trends in multi-core embedded systems, probabilistic model checking, and logical error detection. His research bridges formal verification with practical system design.

Scientific Recognition

• Best Paper Award at 17th Panhellenic Conference on Informatics (2013)
• Best Paper Award at 15th Panhellenic Conference on Informatics (2011)

He has supervised PhD students Stylianos Basagiannis and Anakreon Mentis, and contributes to the Dependability & Security Group (DSG A.U.Th). His work impacts spacecraft design, cloud security, and transaction processing systems.