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

D-Index & Metrics

Computer Science

D-Index
81
Citations
34553
World Ranking
996
National Ranking
52

Research.com Recognitions

  • 2025 - Research.com Computer Science in United Kingdom Leader Award
  • 2023 - Research.com Computer Science in United Kingdom Leader Award
  • 2022 - Research.com Computer Science in United Kingdom Leader Award
  • 2006 - Member of Academia Europaea
  • 2005 - Fellow of the Royal Society, United Kingdom
  • 2004 - ACM Fellow For contributions to object-oriented programming languages.

Overview

Luca Cardelli is affiliated with the University of Oxford in the United Kingdom. Their research spans multiple interdisciplinary fields, focusing primarily on biochemistry, genetics, molecular biology, and computer science. Key areas of study include molecular biology, computational theory and mathematics, control and systems engineering, artificial intelligence, and biomedical engineering.

The scientist's work covers a range of topics related to gene regulatory network analysis, receptor mechanisms and signaling, formal methods in verification, advanced control systems optimization, Gaussian processes and Bayesian inference, advanced biosensing and bioanalysis techniques, and the application of Petri nets in system modeling.

Recent publications by Luca Cardelli include:

  • PID control of biochemical reaction networks, 2022, IRIS Research product catalog (Sapienza University of Rome)
  • From electric circuits to chemical networks, 2020, IRIS Research product catalog (Sapienza University of Rome)
  • Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes, 2020, IEEE Transactions on Automatic Control
  • Exact maximal reduction of stochastic reaction networks by species lumping, 2021, IRIS Research product catalog (Sapienza University of Rome)
  • Biomolecular mechanisms for signal differentiation, 2021, iScience

The body of published work is frequently contributed to venues such as Zenodo (CERN European Organization for Nuclear Research), arXiv (Cornell University), IRIS Research product catalog (Sapienza University of Rome), bioRxiv (Cold Spring Harbor Laboratory), and IEEE Transactions on Automatic Control.

Collaborations form a significant part of Cardelli's research output. Frequent co-authors include Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Luca Laurenti, and Marta Kwiatkowska.

Luca Cardelli has been recognized with several awards during their career, including:

  • Member of Academia Europaea, 2006
  • Fellow of the Royal Society, United Kingdom, 2005
  • ACM Fellow, 2004, for contributions to object-oriented programming languages

Best Publications

  • Mobile ambients

    Luca Cardelli;Andrew D. Gordon

  • On understanding types, data abstraction, and polymorphism

    Luca Cardelli;Peter Wegner

  • A Theory of Objects

    Martin Abadi;Luca Cardelli

  • A semantics of multiple inheritance

    Luca Cardelli

  • Explicit substitutions

    M. Abadi;L. Cardelli;P.-L. Curien;J.-J. Levy

  • Subtyping recursive types

    Roberto M. Amadio;Luca Cardelli

  • A language with distributed scope

    Luca Cardelli

  • Type systems

    Luca Cardelli

  • BioAmbients: an abstraction for biological compartments

    Aviv Regev;Ekaterina M. Panina;William Silverman;Luca Cardelli

  • GALILEO: a strongly-typed, interactive conceptual language

    Antonio Albano;Luca Cardelli;Renzo Orsini

  • Brane calculi

    Luca Cardelli

  • Programmable chemical controllers made from DNA

    Yuan-Jyue Chen;Neil Dalchau;Niranjan Srinivas;Andrew Phillips

  • Dynamic typing in a statically typed language

    Martín Abadi;Luca Cardelli;Benjamin Pierce;Gordon Plotkin

  • Comparing object encodings

    Kim B. Bruce;Luca Cardelli;Benjamin C. Pierce

  • Anytime, anywhere: modal logics for mobile ambients

    Luca Cardelli;Andrew D. Gordon

  • Migratory Applications

    Krishna Bharat;Luca Cardelli

  • On binary methods

    Kim Bruce;Luca Cardelli;Giuseppe Castagna;Gary T. Leavens

  • Types for mobile ambients

    Luca Cardelli;Andrew D. Gordon

  • Abstractions for mobile computations

    Luca Cardelli

  • Basic polymorphic typechecking

    Luca Cardelli

Frequent Co-Authors

Martín Abadi
Martín Abadi Google (United States)
Marta Kwiatkowska
Marta Kwiatkowska University of Oxford
Andrew D. Gordon
Andrew D. Gordon Microsoft (United States)
Alessandro Abate
Alessandro Abate University of Oxford
Benjamin C. Pierce
Benjamin C. Pierce University of Pennsylvania
John C. Mitchell
John C. Mitchell Stanford University
Gordon Plotkin
Gordon Plotkin University of Edinburgh
Stephen J. Roberts
Stephen J. Roberts University of Oxford
Cédric Fournet
Cédric Fournet Microsoft (United States)
Gianluigi Zavattaro
Gianluigi Zavattaro University of Bologna

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

Today, a growing number of students are choosing online degrees for greater flexibility and affordability—especially in fields related to computer science. For those seeking the cheapest bachelor's degree online, many reputable universities now offer accredited programs that allow students to learn from anywhere, often at a lower cost than on-campus alternatives.

If you’re interested in engineering, you might wonder: can you get an engineering degree online? The answer is yes. A range of online engineering degrees are now available, making it possible to start building technical skills without relocating or pausing your career.

For those seeking to advance into leadership and business management roles, online emba programs provide an excellent opportunity to combine technical expertise with key business strategies, all while balancing work and study.

Alternatively, if you’re drawn to information and data management, pursuing an online mlis can open doors to library science, archival work, and more. Online degrees offer a flexible pathway to diverse, rewarding careers in technology and beyond.

Best Scientists Citing Luca Cardelli

Trending Scientists

Recently Published Articles