Luca Cardelli#


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)


Imprint Privacy policy « This page (revision-7) was last changed on Monday, 14. June 2021, 13:59 by Majkowska Katarzyna
  • operated by