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
Research interests:software engineering, software evolution, software adaptation, self-adaptive systems, formal models, formal verification, cyber-physical systems

Contributions

PROPSER 2021 Committee Member in Track committees within the PROPSER 2021-track
ASE 2020 Author of Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations within the Research Papers-track
ICSE 2022 Committee Member in Program Committee within the Journal-First Papers-track
ECSA 2020 Committee Member in Program Committee within the Doctoral Symposium-track
Committee Member in Program Committee within the Research Papers-track
SEAMS 2020 Committee Member in MIP Award Committee within the SEAMS 2020-track
SEAMS 2019 Author 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 2020 Author of Specification Patterns for Robotic Missions within the Journal First-track
SEAMS 2018 Committee Member in Steering Committee within the SEAMS 2018-track
LASSY 2017 Committee 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