Luca Cardelli#
| Email: | luca 'at' microsoft.com |
| Membership Number: | 2363 |
| Main Country of Residence: | UNITED KINGDOM |
| Section: | INFORMATICS |
| Username: | lcardelli |
Present and Previous Positions
- Microsoft Research, Cambridge UK (November 3, 1997 - Present). Researcher (1997-11-03), Assistant Director(2000-07-19), Principal Researcher (2006-11-23)
- Univesity of Trento, Department of Information and Communication Technology (2005-2007). Visiting Professor.
- Imperial College London, Department of Computing (2004-2009). Visiting Professor.
- Digital Equipment Corporation, Systems Research Center, Palo Alto (September 30, 1985 - October 31, 1997). Member of Research Staff
- AT&T Bell Laboratories, Murray Hill (April 5, 1982 - September 20, 1985). Member of Technical Staff.Department of Computer and Information Science, University of Pennsylvania, Philadelphia (January 1984 - December 1984). Adjunct Professor
- PhD in Computer Science, Edinburgh University (April 1, 1982)
Fields of Scholarship
- principles of programming languages
- type theory
- theory of concurrency
- object-oriented programming
- systems biology
- molecular programming
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)
| operated by | 
|