Luca Cardelli - Luca Cardelli
Luca Cardelli | |
---|---|
Urodzony |
Luca Andrea Cardelli
|
Edukacja |
Dr University of Pisa , University of Edinburgh , 1982 |
Znany z | Teoria przedmiotów z Martínem Abadim |
Nagrody |
Fellow of the Royal Society (2005) Nagroda Dahla-Nygaarda (2007) Fellow of the ACM (2005) |
Kariera naukowa | |
Pola |
Teoria typów Semantyka operacyjna |
Instytucje |
Bell Labs Microsoft Research Digital Equipment Corporation University of Edinburgh University of Oxford |
Praca dyplomowa | Algebraiczne podejście do opisu i weryfikacji sprzętu (1982) |
Doradca doktorancki | Gordon Plotkin |
Stronie internetowej | lucacardelli |
Luca Andrea Cardelli , Fellow of the Royal Society (FRS), jest włoskim informatykiem, który jest profesorem naukowym na Uniwersytecie Oksfordzkim w Oksfordzie w Wielkiej Brytanii. Cardelli jest dobrze znany ze swoich badań w zakresie teorii typów i semantyki operacyjnej . Wśród innych składek, w języki programowania , pomógł zaprojektować języka Modula-3 , wdrożył pierwszy kompilator dla (non-czystego) funkcjonalny języka ML , zdefiniował pojęcie programowania typeful , a przyczyniły się do rozwoju języka eksperymentalny Polyphonic C # .
Edukacja
Urodził się w Montecatini Terme , Włochy . Uczęszczał na Uniwersytet w Pizie, zanim uzyskał tytuł doktora filozofii na Uniwersytecie w Edynburgu w 1982 r. Przed dołączeniem do University of Oxford w 2014 r. I Microsoft Research w Cambridge w Wielkiej Brytanii w 1997 r. Pracował dla Bell Labs and Digital Equipment Corporation i przyczynił się do powstania oprogramowania Unix , w tym vismon .
Nagrody
W 2004 roku został członkiem stowarzyszenia Association for Computing Machinery . Jest członkiem Towarzystwa Królewskiego . W 2007 roku Cardelli otrzymał nagrodę Senior AITO Dahl – Nygaard, nazwaną na cześć Ole-Johana Dahla i Kristen Nygaard .