Luca Cardelli

Luca Cardelli Bilgi kutusundaki görüntü. biyografi
Doğum 1954
Montecatini Terme
Milliyet İtalyan
Konut Cambridge
Eğitim Edinburgh Üniversitesi
Aktiviteler BT uzmanı , mühendis
Diğer bilgiler
İçin çalıştı Dijital Ekipman Şirketi (30 Eylül 1985 -31 Ekim 1997) , Oxford Üniversitesi
Üyesi Bilgisayar Makineleri
Derneği Kraliyet Derneği (2005)
Academia Europaea (2006)
süpervizör Gordon arsa
İnternet sitesi (tr)  LucaCardelli.name
Ödüller

Luca Andrea Cardelli (1954 doğumlu) bir İtalyan bilgisayar bilimcisi ve mühendisidir . O bir özellikle müdür yardımcısı oldu , Microsoft araştırma merkezinde yer Cambridge . En çok tip teorisi, nesne teorisi ve işlemsel anlambilim üzerine araştırmalarıyla tanınır . Modula-3 programlama dilinin tasarımına katıldı . O üyesidir Royal Society .

biyografi

Ödüller ve Tanıma

2004 yılında Bilgisayar Makineleri Derneği'nin onursal üyesi oldu . 2007'de Cardelli, AITO Ole-Johan Dahl ve Kristen Nygaard Ödülü'nü aldı .

Notlar ve referanslar

  1. (in) "  Cardelli, Luca  " ile viaf.org (erişilen 2016 Ekim 17 )
  2. (içinde) "  CARDELLI Luca  " Kayıt gerekli , Who's Who 2013, A & C Black, Bloomsbury Publishing Plc'nin bir baskısı, 2013; çevrimiçi edn, Oxford University Press
  3. (in) N. Dalchau , A. Phillips , LD Goldstein , Mr. Howarth , L. Cardelli , S. Emmott , T. Elliott ve JM Werner , "  A Peptid Filtering Relationship quantified MHC Sınıf I peptid Optimization  " , PLoS Computational Biology , cilt  7, n o  10,2011, e1002144 ( PMID  22022238 , PMCID  3195949 , DOI  10.1371 / dergi.pcbi.1002144 )
  4. (içinde) L. Cardelli , "  Nesne yönelimli dillerin kötü mühendislik özellikleri  " , ACM Computing Surveys , Cilt.  28, n o  4es,1996, s.  150 ( DOI  10.1145 / 242224.242415 , çevrimiçi okuyun )
  5. (içinde) Luca Cardelli ve Peter Wegner , "  türleri, veri soyutlamasını ve polimorfizmi anlıyor  " , ACM , New York, NY, USA, cilt.  17, n o  4,Aralık 1985, s.  471–523 ( ISSN  0360-0300 , DOI  10.1145 / 6041.6042 , çevrimiçi okuyun )
  6. (içinde) Cardelli, Luca ve Abadi, Martín, Nesnelerin Teorisi , Berlin, Springer,1996, 396  s. ( ISBN  0-387-94775-2 )
  7. (in) "  Yayınlar Listesi  " üzerinde Microsoft Akademik Arama  (tr)
  8. (tr) Yayınlar Luca Cardelli endeksli veritabanı Scopus of Elsevier .Kayıt gerekli
  9. (içinde) Bay Abadi , L. Cardelli , PL Curien ve JJ Levy , 17. ACM Sempozyumu Bildiriler Kitabı SIGPLAN-SIGACT Programlama dillerinin ilkeleri: POPL '90 ,1990, 31  s. ( ISBN  0-89791-343-4 , DOI  10.1145 / 96709.96712 ) , "Açık ikameler"
  10. "  2007 için AITO Dahl-Nygaard Ödülü Kazananlar  "

bibliyografya

Martin Abadi, Luca Cardelli, Nesnelerin Teorisi , Springer, 1996

Dış bağlantılar