title: Luca Cardelli
text: # Luca Cardelli
  
  Luca Andrea Cardelli (né en 1954) est un chercheur en informatique et ingénieur italien. Il a notamment été directeur adjoint du centre de recherche de Microsoft à $Cambridge^,.$ Il est surtout connu pour ses recherches sur la théorie des types, la théorie des objets et la sémantique $opérationnelle^,.$ Il a participé à la conception du langage de programmation $Modula-3^,^,^,.$ Il est membre de la Royal Society.
  
  ## Prix et distinctions
  
  En 2004, il devient membre d'honneur de l'Association for Computing Machinery. En 2007, Cardelli reçoit le prix AITO Ole-Johan Dahl et Kristen Nygaard.
  
  