ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Panagiotis Katsaros

Registered user since Sat 11 Aug 2018

Name: Panagiotis Katsaros

Bio: Panagiotis Katsaros received the B.Sc degree (1992) in Mathematics from Aristotle University of Thessaloniki (Greece), the M.Sc. degree (1993) in Software Engineering from Aston University in Birmingham (UK) and the Ph.D (2002) in Informatics from Aristotle University of Thessaloniki. He is Assistant Professor in the School of Informatics in Aristotle University of Thessaloniki. His research interests focus on formal verification, model-based system design, dependability and security of systems and software. He has published over 100 papers in international journals and conference proceedings on the aforementioned areas and he has scientifically coordinated international research projects funded by the European Space Agency and other organisations. Prof. Katsaros has also organised important conferences in his area, such as the ETAPS 2018 in Thessaloniki.

Country: Greece

Affiliation: ITI-CERTH, Thessaloniki

Personal website: http://delab.csd.auth.gr/~katsaros/

Research interests: Formal Verification, Model-based System/Software Design, Dependability and Security, Simulation-based Performance Analysis

Contributions

MeTRiD 2019Session Chair of Keynote 2 (part of MeTRiD)
Co-chair of Welcome within the MeTRiD-track
Co-chair in Program Committee within the MeTRiD-track
Session Chair of Welcome & Keynote 1 (part of MeTRiD)
Committee Member in Organizing Committee within the MeTRiD-track
ETAPS 2019Committee Member in Steering Committee
Author of ETAPS Steering committee meeting within the Social-track
Show activities from other conferences

ETAPS 2019-profile
View general profile