Panagiotis Katsaros, Assistant Professor

Ph.D., M.Sc.

Department of Informatics
Aristotle University of Thessaloniki
54124 Thessaloniki, Greece
Tel.: +30-2310-998532, Fax.:+30-2310-998419
e-mail: katsaros at

Research Interests:

  • Formal Verification
  • Model-based System/Software Design
  • Dependability and Security
  • Simulation-based Performance Analysis


2nd Int. Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2019)

@ETAPS 2019, Prague, 6-11 April 2019

Shortly afterwards: 6th Int. Symp. on Model-Based Safety and Assessment (IMBSA), Thessaloniki, September 2019