Luca Cardelli

Papers

Total Citations

H-Index

About

Luca Cardelli is a pioneering computer scientist whose research spans the theoretical foundations of programming languages, computational biology, and formal methods for safety-critical systems. He is best known for his groundbreaking work on type systems, object-oriented programming, and the development of the Ambient Calculus—a process calculus for modeling mobile computation and distributed systems. Cardelli’s contributions have profoundly influenced the design of modern programming languages, including his role in the development of Modula-3 and the early design of C#. In computational biology, he has applied formal methods to model biological processes, such as signaling pathways and gene regulatory networks, bridging computer science and systems biology. His highly cited work, including papers on type theory and process calculi, has garnered tens of thousands of citations, reflecting his enduring impact. Notably, his 2019 paper on robustness guarantees for Bayesian inference with Gaussian processes (38 citations) addresses uncertainty quantification in safety-critical applications like robotics and control. A Fellow of the Royal Society and ACM, Cardelli’s work continues to inspire researchers in programming languages, formal verification, and computational biology.