Luca Cardelli#
Membership Number: | 2363 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2006 |
Main Country of Residence: | UNITED KINGDOM |
Homepage(s): | http://lucacardelli.name |
Present and Previous Positions
- Since 1997 Microsoft Research, Cambridge UK; Assistant Director( Since 2000), Principal Researcher (Since 2006)
- 2005-2007 Univesity of Trento, Department of Information and Communication Technology; Visiting Professor.
- 2004-2009 Visiting Professor at Imperial College London, Department of Computing
- 1985-1997 Digital Equipment Corporation, Systems Research Center, Palo Alto
- 1982-1985 Member of Research Staff AT&T Bell Laboratories, Murray Hill
- 1984-1984 Member of Technical Staff, Department of Computer and Information Science, University of Pennsylvania, Philadelphia; Adjunct Professor
- 1982 PhD in Computer Science, Edinburgh University
Fields of Scholarship
- Type theory
- Systems biology
- Principles of programming languages
- Molecular programming
- Object-oriented programming
- Theory of concurrency
Honours and Awards
- Fellow of The Royal Society
- ACM Fellow
- Academia Europaea Elected Member (Informatics)
- AITO Elected Member
- Most Influential POPL Paper Award 2010 (for 2000)
- AITO Dahl-Nygaard Senior Prize 2007
- Most Influential ETAPS 1998 Paper Award (Awarded 2007)
- Most Influential POPL Paper Award 2005 (for 1995)