« Luca Cardelli » : différence entre les versions

Un article de Wikipédia, l'encyclopédie libre.
Modification suivante →
Contenu supprimé Contenu ajouté
VisuelWikicode
informaticien d'origine italienne
(Aucune différence)

Version du 17 octobre 2016 à 12:40

Luca Cardelli
Biographie
Naissance
Nationalité
Domicile
Formation
Activités
Autres informations
A travaillé pour
Microsoft Research, United Kingdom (d) ( - )
Digital Equipment Corporation ( - )
Université de Pennsylvanie ( - )
Université d'OxfordVoir et modifier les données sur Wikidata
Membre de
Royal Society ()
Academia Europaea ()
Association for Computing Machinery
UK Computing Research Committee (d)Voir et modifier les données sur Wikidata
Directeur de thèse
Site web
Distinctions
Liste détaillée
ACM Fellow ()
Prix Dahl-Nygaard ()
Tulip Award in DNA Computing (d) ()
Programming Languages Achievement Award ()Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

Luca Andrea Cardelli est un informaticien et ingénieur italien. Il a notamment été assistant directeur de Microsoft Research à Cambridge[1],[2]. Il est surtout connu pour ses recherches sur la théorie des types et la sémantique opérationnelle[3],[4]. Il a participé à la conception du Modula-3[5],[6],[7],[8],[9],[10]. Il est membre de la Royal Society

Biographie

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Prix et distinctions

En 2004, il devient membre de l'Association for Computing Machinery. En 2007, Cardelli reçoit le prix AITO Ole-Johan Dahl et Kristen Nygaard[11].

Notes et références

  1. ↑ (en)« CARDELLI, Luca », Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University PressInscription nécessaire
  2. ↑ (en)N. Dalchau, A. Phillips, L. D. Goldstein, M. Howarth, L. Cardelli, S. Emmott, T. Elliott et J. M. Werner, « A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization », PLoS Computational Biology, vol. 7, no 10,‎ , e1002144 (PMID 22022238, PMCID 3195949, DOI 10.1371/journal.pcbi.1002144)
  3. ↑ (en)L. Cardelli, « Bad engineering properties of object-orient languages », ACM Computing Surveys, vol. 28, no 4es,‎ , p. 150 (DOI 10.1145/242224.242415, lire en ligne)
  4. ↑ (en)Luca Cardelli et Peter Wegner, « On understanding types, data abstraction, and polymorphism », ACM Computing Surveys, New York, NY, USA, ACM, vol. 17, no 4,‎ , p. 471–523 (ISSN 0360-0300, DOI 10.1145/6041.6042, lire en ligne)
  5. ↑ (en)(en) Cardelli, Luca et Abadi, Martín, A theory of objects, Berlin, Springer, (ISBN 0-387-94775-2)
  6. ↑ Modèle:ACMPortal
  7. ↑ Modèle:DBLP
  8. ↑ (en) « Liste de publications », sur Microsoft Academic Search (en)
  9. ↑ (en)Publications de Luca Cardelli indexées sur la base de données Scopus d'Elsevier. Inscription nécessaire
  10. ↑ (en)(en) M. Abadi, L. Cardelli, P. L. Curien et J. J. Levy, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90, , 31 p. (ISBN 0897913434, DOI 10.1145/96709.96712), « Explicit substitutions »
  11. ↑ The AITO Dahl-Nygaard Prize Winners for 2007

Liens externes

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Luca_Cardelli&oldid=130748846 ».