Lucas Cardelli

Da Wikipédia, a enciclopédia livre
Ir para a navegação Saltar para pesquisar

Lucas Cardelli
DSC 4698 HiRes Crop.jpg
Nascer
Lucas Andrea Cardelli

EducaçãoUniversidade de Pisa [1]
PhD, Universidade de Edimburgo , 1982
Conhecido porTeoria dos Objetos [2] com Martín Abadi
PrêmiosMembro da Royal Society (2005)
Prêmio Dahl-Nygaard (2007)
Membro da ACM (2005)
Carreira científica
CamposTeoria dos tipos
Semântica operacional
InstituiçõesBell Labs
Microsoft Research
Digital Equipment Corporation
Universidade de Edimburgo
Universidade de Oxford [3]
TeseUma abordagem algébrica para descrição e verificação de hardware  (1982)
Orientador de doutoradoGordon Plotkin [4]
Local na rede Internetlucacardelli .name

Luca Andrea Cardelli , membro da Royal Society (FRS), é um cientista da computação italiano que é professor de pesquisa na Universidade de Oxford em Oxford , Reino Unido. [1] [5] Cardelli é bem conhecido por sua pesquisa em teoria de tipos e semântica operacional . [6] [7] 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 deprogramação tipográfica , e ajudou a desenvolver a linguagem experimental Polyphonic C# . [2] [8] [9] [10] [11] [12]

Educação

Ele nasceu em Montecatini Terme , Itália . Ele frequentou a Universidade de Pisa [1] antes de receber seu Doutorado em Filosofia (PhD) da Universidade de Edimburgo em 1982. [13] Antes de ingressar na Universidade de Oxford em 2014, e na Microsoft Research em Cambridge , Reino Unido em 1997, trabalhou para Bell Labs e Digital Equipment Corporation , [1] e contribuiu para o software Unix , incluindo o vismon . [14]

Prêmios

Em 2004 ele foi empossado como membro da Association for Computing Machinery . Ele é membro da Royal Society . Em 2007, Cardelli foi premiado com o Prêmio Sênior AITO Dahl-Nygaard nomeado para Ole-Johan Dahl e Kristen Nygaard . [15]

Referências

  1. ^ a b c d "Cardelli, Luca" . Who's Who 2013, A & C Black, um selo da Bloomsbury Publishing plc, 2013; edição online, Oxford University Press .(assinatura obrigatória)
  2. ^ a b Cardelli, Luca; Abadi, Martín (1996). Uma teoria dos objetos . Berlim: Springer. ISBN 978-0-387-94775-4.
  3. ^ Cardelli, Lucas (2021). "Luca Cardelli" . Departamento de Ciência da Computação . Universidade de Oxford.
  4. ^ Luca Cardelli no Projeto de Genealogia Matemática
  5. ^ Dalchau, N.; Phillips, A.; Goldstein, LD; Howarth, M.; Cardelli, L.; Emmot, S .; Elliott, T.; Werner, JM (2011). Chakraborty, Arup K (ed.). "Uma Relação de Filtragem de Peptídeos Quantifica a Otimização de Peptídeos do MHC Classe I" . Biologia Computacional PLOS . 7 (10): e1002144. Bibcode : 2011PLSCB...7E2144D . doi : 10.1371/journal.pcbi.1002144 . PMC 3195949 . PMID 22022238 .  
  6. ^ Cardelli, L. (1996). "Propriedades de engenharia ruins de linguagens orientadas a objetos" . Pesquisas de Computação ACM . 28 (4es): 150–es. doi : 10.1145/242224.242415 . S2CID 12105785 . 
  7. ^ Cardelli, Lucas; Wegner, Peter (dezembro de 1985). "Sobre tipos de compreensão, abstração de dados e polimorfismo" (PDF) . Pesquisas de Computação ACM . 17 (4): 471-523. CiteSeerX 10.1.1.117.695 . doi : 10.1145/6041.6042 . ISSN 0360-0300 . S2CID 2921816 .    
  8. ^ página de perfil do autor Luca Cardelli na Biblioteca Digital ACM
  9. ^ Luca Cardelli no DBLP Bibliography ServerEdite isso no Wikidata
  10. Publicações de Luca Cardelli indexadas pela Microsoft Academic
  11. ^ Publicações de Luca Cardelli indexadas pelobanco de dados bibliográfico Scopus . (assinatura obrigatória)
  12. ^ Abadi, M. ; Cardelli, L.; Curien, PL; Levy, JJ (1990). "Substituições explícitas". Anais do 17º simpósio ACM SIGPLAN-SIGACT sobre Princípios de linguagens de programação (POPL) '90 . págs. 31–46. CiteSeerX 10.1.1.22.9903 . doi : 10.1145/96709.96712 . ISBN  978-0897913430. S2CID  7265577 .
  13. ^ Cardelli, Lucas (1982). Uma abordagem algébrica para descrição e verificação de hardware (tese de doutorado). Universidade de Edimburgo.
  14. ^ McIlroy, MD (1987). Um leitor de Research Unix: trechos anotados do Manual do Programador, 1971–1986 (PDF) (Relatório técnico). CSTR. Laboratórios Bell. 139.
  15. ^ "Os vencedores do prêmio AITO Dahl-Nygaard para 2007" . Association Internationale pour les Technologies Objects . Mjølner Informatics. 2007.

Links externos