Luca Cardelli - Luca Cardelli
Luca Cardelli | |
---|---|
Nascermos |
Luca Andrea Cardelli
|
Educação |
Universidade de Pisa , PhD, Universidade de Edimburgo , 1982 |
Conhecido por | Teoria dos Objetos com Martín Abadi |
Prêmios |
Membro da Royal Society (2005) Prêmio Dahl – Nygaard (2007) Membro da ACM (2005) |
Carreira científica | |
Campos |
Teoria dos tipos Semântica operacional |
Instituições |
Bell Labs Microsoft Research Digital Equipment Corporation Universidade de Edimburgo Universidade de Oxford |
Tese | Uma abordagem algébrica para descrição e verificação de hardware (1982) |
Orientador de doutorado | Gordon Plotkin |
Local na rede Internet | lucacardelli |
Luca Andrea Cardelli , Fellow da Royal Society (FRS), é um cientista da computação italiano que é Professor Pesquisador na Universidade de Oxford em Oxford , Reino Unido. Cardelli é conhecido por suas pesquisas em teoria dos tipos e semântica operacional . Entre outras contribuições, em linguagens de programação , ajudou a projetar a linguagem Modula-3 , implementou o primeiro compilador para a linguagem funcional (não pura) ML , definiu o conceito de programação tipográfica e ajudou a desenvolver a linguagem experimental Polyphonic C # .
Educação
Ele nasceu em Montecatini Terme , Itália . Ele frequentou a Universidade de Pisa antes de receber seu Doutor em Filosofia (PhD) da Universidade de Edimburgo em 1982. Antes de ingressar na Universidade de Oxford em 2014 e na Microsoft Research em Cambridge , Reino Unido em 1997, ele trabalhou para Bell Labs and Digital Equipment Corporation e contribuiu para o software Unix , incluindo vismon .
Prêmios
Em 2004, ele foi nomeado Fellow da Association for Computing Machinery . Ele é membro da Royal Society . Em 2007, Cardelli recebeu o Prêmio Sênior AITO Dahl – Nygaard em homenagem a Ole-Johan Dahl e Kristen Nygaard .