Scholar
Carlo Ghezzi
Google Scholar ID: Y8BLBGcAAAAJ
Emeritus Professor, Politecnico di Milano
Software engineering
dependable and evolvable systems
programming languages
ethical and societal aspects of computing
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
16,833
H-index
66
i10-index
214
Publications
20
Co-authors
86
list available
Publications
1 items
Syntax-driven Incremental Program Verification of Matching Logic Properties
2026
Cited
0
Co-authors
14 total
Luciano Baresi
DEIB - Politecnico di Milano
Mauro Pezzè
Professor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)
Gianpaolo Cugola
Politecnico di Milano - DEIB
Raffaela Mirandola
Full Professor, Karlsruhe Institute of Technology
Domenico Bianculli
Associate Professor/Chief Scientist 2, University of Luxembourg, Luxembourg
Antonio Filieri
Amazon Web Services, Imperial College London
Paola Spoletini
Kennesaw State University
Bashar Nuseibeh
The Open University
