Panagiotis Katsaros, Associate 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 csd.auth.gr



Research Interests:

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

Co-organizing:

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