Carlo Ghezzi#
| Membership Number: | 3609 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 2013 |
| Main Country of Residence: | ITALY |
| Homepage(s): | http://home.dei.polimi.it/ghezzi |
Present and Previous Positions
- 1981- present Full Professor and Chair of Software Engineering, Politecnico di Milano, Italy
- 1997-present Adjunct Professor University of Lugano, Switzerland
- 1980-1981 Full Professor of Informatics, University of Padova, Italy
- 1979-1980 Associate Professor, University of North Carolina, Chapel Hill
- 1976-1979 Associate Professor, Politecnico di Milano, Italy
- 1973-1976 Assistant Professor, Politecnico di Milano, Italy
Fields of Scholarship
- Software formal specification and verification
- System and software requirements
- Software architecture
- Model-driven development
- Software evolution
- Programming languages
- Compiler theory
Honours and Awards
- Dr. Luis Federico Leloir Prize to International Cooperation in Science, Technology and Innovation, awarded from the Government of Argentina (2011)
- ERC Advanced Grant (2008): SMScom:Self Managing Situated Computing
- Italian Academy of Sciences (Accademia di Science e Lettere--Istituto Lombardo) (2007)
- Fellow of the IEEE (2006). Citation "For contributions to software engineering and programming languages"
- ACM SIGSOFT Distinguished Service Award (2006)
- Fellow of the ACM (1999). Citation "Numerous research contributions from compiler theory to real-time systems to software processes. A strong contributor to the software engineering community in Europe and worldwide."
- Philip Morris Award (1992) for research on the design of reliable real-time systems (with Dino Mandrioli)
- Seymour Cray Award (1991) for research on analysis of concurrent systems using Petri nets (with Dino Mandrioli)
- Informatics Award by Sperry (1982) for research on incremental compilers (with Dino Mandrioli)
