Luca Cardelli

Luca Andrea Cardelli

Luca Andrea Cardelli
Personlig informasjon
Fødsel 1954 Montecatini Terme , Italia
Hjem Cambridge
Nasjonalitet italiensk
utdanning
utdannet i University of Pisa
University of Edinburgh
doktorgradsveileder Gordon Plotkin
Profesjonell informasjon
Yrke Teoretisk informatiker og ingeniør
kjent for Theory of Objects [ 1 ]​ med Martín Abadi
Arbeidsgiver
Medlem av
Nettsted lucacardelli.navn
distinksjoner
  • Fellow of the Royal Society (2005)
  • Dahl–Nygaard-prisen (2007)
  • stipendiat i ACM

Luca Andrea Cardelli FRS er en italiensk informatiker , for tiden assisterende direktør for Microsoft Research i Cambridge, Storbritannia. [ 2 ] [ 3 ] Cardelli er kjent for sin forskning innen typeteori og operasjonell semantikk . [ 4 ] [ 5 ] Blant andre bidrag hjalp han til med å designe Modula-3 , implementerte den første kompilatoren for det (ikke-rene) funksjonelle programmeringsspråket ML , og definerte konseptet typestyrt programmering. Han var med på å utvikle det eksperimentelle programmeringsspråket Polyphonic C#. [ 6 ]​ [ 7 ]​ [ 8 ]​ [ 9 ]​ [ 10 ]​ [ 1 ]

Utdanning

Han ble født i Montecatini Terme , Italia . Han studerte ved University of Pisa [ 3 ] før han fikk sin doktorgrad [ 11 ] fra University of Edinburgh i 1982. Før han begynte i Microsoft Research i 1997, jobbet han for Bell Laboratories og Digital Equipment Corporation , og ga bidrag til Unix , inkludert vismon. [ 12 ]

Priser

I 2004 ble han innkalt som stipendiat i Association for Computing Machinery . Han er stipendiat i Royal Society . I 2007 mottok Cardelli Ole-Johan Dahl og Kristen Nygaard Senior AITO Award. [ 13 ]

Referanser

  1. ↑ a b Cardelli, Luca; Abadi, Martin (1996). En teori om objekter . Berlin: Springer. ISBN  0-387-94775-2 . 
  2. ↑ Dalchau, N.; Phillips, A.; Goldstein, L.D.; Howarth, M.; Cardelli, L .; Emmott, S .; Elliott, T.; Werner, J.M. (2011). "Et peptidfiltreringsforhold kvantifiserer MHC klasse I peptidoptimalisering" . I Chakraborty, Arup K, red. PLoS Computational Biology 7 (10): e1002144. PMC  3195949 . PMID  22022238 . doi : 10.1371/journal.pcbi.1002144 . 
  3. ^ a b "CARDELLI, Luca" . Who's Who 2013, A & C Black, et avtrykk av Bloomsbury Publishing plc, 2013; online edn, Oxford University Press . Siter feil: Ugyldig tag ; navnet "whoswho" er definert flere ganger med forskjellig innhold  <ref>
  4. ^ Cardelli, L. (1996). "Dårlige tekniske egenskaper til objektorienterte språk" . ACM Computing Surveys 28 (4es): 150. doi : 10.1145/242224.242415 . 
  5. ↑ Cardelli, Luca ; Wegner, Peter (desember 1985). "Om forståelse av typer, dataabstraksjon og polymorfisme" . ACM Computing Surveys (New York, NY, USA: ACM ) 17 (4): 471-523. ISSN  0360-0300 . doi : 10.1145/6041.6042 . 
  6. ↑ Luca Cardelli fra Association for Computing Machinery (ACM) Digital Library
  7. ↑ Luca Cardellis publikasjoner indeksert av DBLP Bibliography Server ved Universitetet i Trier
  8. ↑ Liste over publikasjoner fra Microsoft Academic Search
  9. ↑ Luca Cardellis publikasjoner indeksert av Scopus bibliografiske database, en tjeneste levert av Elsevier .
  10. ↑ Abadi, M. ; Cardelli, L .; Curien, P.L.; Levy, JJ (1990). «Eksplisitte erstatninger» . Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programmeing languages ​​- POPL '90 . s. 31 . ISBN  0897913434 . doi : 10.1145/96709.96712 . 
  11. ^ Cardelli, Luca (1982). En algebraisk tilnærming til maskinvarebeskrivelse og verifikasjon (PhD-avhandling). Universitetet i Edinburgh. 
  12. ^ McIlroy, M.D. (1987).
  13. ↑ AITO Dahl-Nygaard-prisvinnerne for 2007

Eksterne lenker