Luca Cardelli - Luca Cardelli
Luca Cardelli | |
---|---|
![]() | |
narozený | Luca Andrea Cardelli |
Alma mater | Univerzita v Pise[1] University of Edinburgh |
Známý jako | Teorie objektů[2] s Martín Abadi |
Ocenění | Člen královské společnosti (2005) Cena Dahl-Nygaard (2007) Člen týmu ACM |
Vědecká kariéra | |
Pole | Teorie typů Provozní sémantika |
Instituce | Bell Labs Microsoft Research Digital Equipment Corporation University of Edinburgh University of Oxford[3] |
Teze | Algebraický přístup k popisu a ověření hardwaru (1982) |
Doktorský poradce | Gordon Plotkin[4] |
webová stránka | lucacardelli |
Luca Andrea Cardelli FRS je Ital počítačový vědec který je asistentem ředitele ve společnosti Microsoft Research v Cambridge, Velká Británie.[1][5] Cardelli je dobře známý pro svůj výzkum v teorie typů a operační sémantika.[6][7] Mimo jiné přispěl k designu Modula-3, implementoval první kompilátor pro (non-čistý) funkční programovací jazyk ML a definoval pojem typické programování. Pomohl vyvinout Polyfonní C # experimentální programovací jazyk.[2][8][9][10][11][12]
Vzdělávání
Narodil se v Montecatini Terme, Itálie. Navštěvoval Univerzita v Pise[1] před obdržením jeho PhD[13] z University of Edinburgh v roce 1982. Před nástupem do společnosti Microsoft Research v roce 1997 pracoval pro Bell Labs a Digital Equipment Corporation,[1] a přispěl k Unix software včetně přivolat.[14]
Ocenění
V roce 2004 byl uveden jako Fellow of the Sdružení pro výpočetní techniku. Je členem královská společnost. V roce 2007 byl Cardelli oceněn Senior AITO Cena Ole-Johan Dahla a Kristen Nygaardové.[15]
Reference
- ^ A b C d „CARDELLI, Luca“. Who's Who 2013, A & C Black, otisk Bloomsbury Publishing plc, 2013; online vydání, Oxford University Press.(vyžadováno předplatné)
- ^ A b Cardelli, Luca; Abadi, Martín (1996). Teorie objektů. Berlín: Springer. ISBN 978-0-387-94775-4.
- ^ https://www.cs.ox.ac.uk/people/luca.cardelli/
- ^ Luca Cardelli na Matematický genealogický projekt
- ^ Dalchau, N .; Phillips, A .; Goldstein, L. D .; Howarth, M .; Cardelli, L.; Emmott, S.; Elliott, T .; Werner, J. M. (2011). Chakraborty, Arup K (ed.). „Vztah filtrace peptidů kvantifikuje optimalizaci peptidů MHC třídy I“. PLOS výpočetní biologie. 7 (10): e1002144. doi:10.1371 / journal.pcbi.1002144. PMC 3195949. PMID 22022238.
- ^ Cardelli, L. (1996). „Špatné inženýrské vlastnosti objektově orientovaných jazyků“. ACM Computing Surveys. 28 (4es): 150 – es. doi:10.1145/242224.242415. S2CID 12105785.
- ^ Cardelli, Luca; Wegner, Peter (Prosinec 1985). „O porozumění typům, abstrakci dat a polymorfismu“ (PDF). ACM Computing Surveys. 17 (4): 471–523. CiteSeerX 10.1.1.117.695. doi:10.1145/6041.6042. ISSN 0360-0300. S2CID 2921816.CS1 maint: ref = harv (odkaz)
- ^ Luca Cardelli stránka s profilem autora na ACM Digitální knihovna
- ^ Luca Cardelli na DBLP Bibliografický server
- ^ Seznam publikací z Microsoft Academic
- ^ Publikace Lucy Cardelliho indexováno podle Scopus bibliografická databáze. (vyžadováno předplatné)
- ^ Abadi, M.; Cardelli, L.; Curien, P.L .; Levy, J. J. (1990). "Explicitní substituce". Sborník 17. sympozia ACM SIGPLAN-SIGACT o zásadách programovacích jazyků - POPL '90. p. 31. CiteSeerX 10.1.1.22.9903. doi:10.1145/96709.96712. ISBN 978-0897913430. S2CID 7265577.
- ^ Cardelli, Luca (1982). Algebraický přístup k popisu a ověření hardwaru (Disertační práce). University of Edinburgh.
- ^ McIlroy, M. D. (1987). Čtenář Research Unix: anotované výňatky z Programmer's Manual, 1971–1986 (PDF) (Technická zpráva). CSTR. Bell Labs. 139.
- ^ Vítězové ceny AITO Dahl-Nygaard za rok 2007
externí odkazy
P ≟ NP | Tento životopisný článek týkající se a počítačový vědec je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |