World's Best Scientists 2026 revealed!
Award Badge
Computer Science
Italy
2025

D-Index & Metrics

Computer Science

D-Index
61
Citations
13048
World Ranking
3112
National Ranking
55

Research.com Recognitions

  • 2025 - Research.com Computer Science in Italy Leader Award
  • 2023 - Research.com Computer Science in Italy Leader Award
  • 2022 - Research.com Computer Science in Italy Leader Award
  • 2013 - Member of Academia Europaea
  • 2006 - IEEE Fellow For contributions to software engineering and programming languages.
  • 1999 - ACM Fellow 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.

Overview

Carlo Ghezzi is affiliated with the Polytechnic University of Milan in Italy and has a research profile focused primarily within the field of Computer Science. Their academic contributions span several subfields, including Software, Artificial Intelligence, Information Systems, Computational Theory and Mathematics, and Computer Networks and Communications.

Their research extensively covers topics related to Model-Driven Software Engineering Techniques, Advanced Software Engineering Methodologies, Formal Methods in Verification, Software Engineering Techniques and Practices, 3D Modeling in Geospatial Applications, Computational Geometry and Mesh Generation, and IoT and Edge/Fog Computing.

Recent papers authored or coauthored by Carlo Ghezzi include:

  • "Early validation of cyber-physical space systems via multi-concerns integration" (2020, Journal of Systems and Software)
  • "Digital Humanism: The Time Is Now" (2023, Computer)
  • "Model-driven engineering city spaces via bidirectional model transformations" (2021, Software & Systems Modeling)
  • "Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems" (2020, ACM Transactions on Internet Technology)
  • "Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration" (2020, arXiv [Cornell University])

Frequent collaborators include Christos Tsigkanos, Zhenjiang Hu, Nianyu Li, Zhi Jin, and Mehdi Jazayeri.

Carlo Ghezzi has contributed to publications in venues such as the Journal of Systems and Software, Computer, Software & Systems Modeling, ACM Transactions on Internet Technology, and arXiv.

Among book publications, Ghezzi has a notable work titled Fundamentals of Software Engineering, published by Springer Science+Business Media and scheduled for release in 2025.

Recognition for their work includes distinctions such as being named a Member of Academia Europaea in 2013, IEEE Fellow in 2006 for contributions to software engineering and programming languages, and ACM Fellow in 1999, acknowledging a broad range of research contributions from compiler theory to real-time systems and software processes.

Best Publications

  • A unified high-level Petri net formalism for time-critical systems

    C. Ghezzi;D. Mandrioli;S. Morasca;M. Pezze

  • Programming Language Concepts

    Carlo Ghezzi;Mehdi Jazayeri

  • Software process model evolution in the SPADE environment

    S.C. Bandinelli;A. Fuggetta;C. Ghezzi

  • TRIO: A logic language for executable specifications of real-time systems

    C. Ghezzi;D. Mandrioli;A. Morzenti

  • A journey to highly dynamic, self-adaptive service-based applications

    Elisabetta Di Nitto;Carlo Ghezzi;Andreas Metzger;Mike Papazoglou

  • Model evolution by run-time parameter adaptation

    Ilenia Epifani;Carlo Ghezzi;Raffaela Mirandola;Giordano Tamburrelli

  • Self-adaptive software needs quantitative verification at runtime

    Radu Calinescu;Carlo Ghezzi;Marta Kwiatkowska;Raffaela Mirandola

  • Toward Open-World Software: Issues and Challenges

    Luciano Baresi;Elisabetta Di Nitto;Carlo Ghezzi

  • Smart monitors for composed services

    Luciano Baresi;Carlo Ghezzi;Sam Guinea

  • Towards Open-World Software: Issue and Challenges

    L. Baresi;E. Di Nitto;C. Ghezzi

  • Run-time efficient probabilistic model checking

    Antonio Filieri;Carlo Ghezzi;Giordano Tamburrelli

  • SPADE: an environment for software process analysis, design, and enactment

    Sergio Bandinelli;Alfonso Fuggetta;Carlo Ghezzi;Luigi Lavazza

  • Software processes: a retrospective and a path to the future

    Gianpaolo Cugola;Carlo Ghezzi

  • Analyzing Mobile Code Languages

    Gianpaolo Cugola;Carlo Ghezzi;Gian Pietro Picco;Giovanni Vigna

  • A formal approach to adaptive software: continuous assurance of non-functional requirements

    Antonio Filieri;Carlo Ghezzi;Giordano Tamburrelli

  • Mobile Code Paradigms and Technologies: A Case Study

    Carlo Ghezzi;Giovanni Vigna

  • The challenges of software engineering education

    Carlo Ghezzi;Dino Mandrioli

  • The disappearing boundary between development-time and run-time

    Luciano Baresi;Carlo Ghezzi

  • Context-oriented programming: A software engineering perspective

    Guido Salvaneschi;Carlo Ghezzi;Matteo Pradella

  • Context-Free Graph Grammars*

    Pierluigi Della Vigna;Carlo Ghezzi

  • Proceedings of the 22nd international conference on Software engineering

    Carlo Ghezzi;Mehdi Jazayeri;Alexander L. Wolf

  • Fundamentals of Software Engineering

    Carlo Ghezzi;Mehdi Jazayeri;Dino Mandrioli

Frequent Co-Authors

Luciano Baresi
Luciano Baresi Polytechnic University of Milan
Mauro Pezzè
Mauro Pezzè Universita della Svizzera Italiana
Gianpaolo Cugola
Gianpaolo Cugola Polytechnic University of Milan
Raffaela Mirandola
Raffaela Mirandola Polytechnic University of Milan
Alfonso Fuggetta
Alfonso Fuggetta Polytechnic University of Milan
Luca Mottola
Luca Mottola Polytechnic University of Milan
Elisabetta Di Nitto
Elisabetta Di Nitto Polytechnic University of Milan
Bashar Nuseibeh
Bashar Nuseibeh The Open University
Sandro Morasca
Sandro Morasca University of Insubria
Giovanni Vigna
Giovanni Vigna University of California, Santa Barbara

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science in the USA opens up many pathways. However, students may also consider adjacent fields and flexible learning options. For example, those interested in sustainability might ask what can you do with an environmental science major, as environmental science combines technology with ecological solutions.

Fast-tracking your tech education is also possible; consider a 2-year computer science degree online to quickly gain in-demand programming skills and enter the job market sooner.

Affordability is often a key concern. If you're looking for budget-friendly options, you may want to explore the cheapest online environmental science degree or compare the mechanical engineering degree cost at various institutions.

By reviewing related degrees and career outcomes, you can make well-informed choices about your future in technology and beyond.

Best Scientists Citing Carlo Ghezzi

Trending Scientists