degree in electrical engineering from the Politecnico di Milano, where he spent most of his professional life, as assistant, associate, and full professor.
Ghezzi is a 1999 ACM fellow (citation: "Numerous research contributions from compiler theory to real-time systems to software processes.
"[1]) and 2006 IEEE Fellow (citation: "for contributions to programming languages and software engineering"[2]).
His long-term goal has been to contribute to making software more and more dependable, basing it on solid and rigorous methodological and theoretical foundations.
He is the co-author of 8 books, including: In 2008, he has been awarded an Advanced Investigators Grant Archived 2011-09-03 at the Wayback Machine from the European Research Council, funding the SMSCOM project.