Portrait of Luca Cardelli

Luca Cardelli

Principal Researcher

About

Luca Cardelli has a Ph.D. in computer science from the University of Edinburgh. He worked at Bell Labs, Murray Hill, from 1982 to 1985, and at Digital Equipment Corporation, Systems Research Center in Palo Alto, from 1985 to 1997, before assuming a position at Microsoft Research, in Cambridge UK, where he was head of the Programming Principles and Tools and Security groups until 2012. Since 2014, he has also been a Royal Society Research Professor at the University of Oxford.

His main interests are in programming languages and concurrency, and more recently in programmable biology and nanotechnology. He is a Fellow of the Royal Society, a Fellow of the Association for Computing Machinery, an Elected Member of the Academia Europaea, and an Elected Member of the Association Internationale pour les Technologies Objets.

Projects

Stochastic Pi Machine

Established: November 21, 2008

The Stochastic Pi Machine (SPiM) is a programming language for designing and simulating computer models of biological processes. The language is based on a mathematical formalism known as the pi-calculus, and the simulation algorithm is based on standard kinetic theory…

Publications

2013

2012

2009

2008

2007

2006

2005

2004

2003

2000

Wide Area Computation
Luca Cardelli, in V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 8, 9 y 10 de noviembre, Valladolid, Universidad de Valladolid, Departamento de Informática, January 1, 2000, View abstract, Download PDF

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

1988

1987

1985

1984