Carlo Ghezzi

Registered user since Sun 15 Oct 2017

Name: Carlo Ghezzi

Bio: Carlo Ghezzi is an ACM Fellow (1999), an IEEE Fellow (2005), a member of the European Academy of Sciences and of the Italian Academy of Sciences. He received the ACM SIGSOFT Outstanding Research Award (2015) and the Distinguished Service Award (2006). He has been President of Informatics Europe. He has been a member of the program committee of flagship conferences in the software engineering field, such as the ICSE and ESEC/FSE, for which he also served as Program and General Chair. He has been the Editor in Chief of the ACM Trans. on Software Engineering and Methodology and an associate editor of and IEEE Trans. on Software Engineering, Communications of the ACM and Science of Computer Programming, and Computing. Ghezzi’s research has been mostly focusing on different aspects of software engineering. He co-authored over 200 papers and 8 books. He coordinated several national and international research projects. He has been the recipient of an ERC Advanced Grant.

Country: Italy

Affiliation: Politecnico di Milano

Personal website:

Research interests: software engineering, software evolution, software adaptation, self-adaptive systems, formal models, formal verification, cyber-physical systems


ASE 2020Author of Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations within the Research Papers-track
ECSA 2020Committee Member in Program Committee within the Doctoral Symposium-track
Committee Member in Program Committee within the Research Papers-track
SEAMS 2020Committee Member in MIP Award Committee within the SEAMS 2020-track
SEAMS 2019Author of Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet-of-Things within the SEAMS 2019-track
Author of Modelling and Analysing ResilientCyber-Physical Systems within the SEAMS 2019-track
ICSE 2020Author of Specification Patterns for Robotic Missions within the Journal First-track
SEAMS 2018Committee Member in Steering Committee within the SEAMS 2018-track
LASSY 2017Committee Member in Program Committee within the LASSY 2017-track
* ICSE 2018 *Author of Poster F51: Property Specification Patterns for Robotic Missions within the Posters -track