Luca Cardelli#


Luca Cardelli
Email:luca 'at' microsoft.com
Membership Number:2363
Membership type:ORDINARY
Main Country of Residence:UNITED KINGDOM
Section:INFORMATICS
Username:lcardelli
Homepage: 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
  • 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)


Imprint Privacy policy « This page (revision-7) was last updated on Monday, 24. August 2015, 11:07 by Majkowska Katarzyna
  • operated by