루카 카르델리

Luca Cardelli
루카 카르델리
DSC 4698 HiRes Crop.jpg
태어난
루카 안드레아 카르델리

몬테카티니 테르메, 이탈리아
교육피사 대학교[1]
1982년 에든버러 대학교 박사과정
로 알려져 있다마르틴 아바디의 물체론[2]
어워드왕립학회 펠로우 (2005)
달-니고르상 (2007)
ACM 펠로우(2005)
과학 경력
필드유형 이론
운용 의미론
기관벨 연구소
마이크로소프트 리서치
디지털 이그니션 코퍼레이션
에든버러 대학교
옥스퍼드 대학교[3]
논문하드웨어 설명 및 검증에 대한 대수적 접근법 (1982)
박사 어드바이저고든 플로트킨[4]
웹 사이트lucacardelli.name

Luca Andrea Cardelli, Royal Society (FRS) 펠로우 오브 더 로열 소사이어티([1][5]FRS))는 이탈리아 컴퓨터 과학자로 영국 옥스퍼드 대학의 연구 교수입니다.카델리는 유형 이론과 운영 [6][7]의미론 연구로 잘 알려져 있다.프로그래밍 언어에서 그는 Modula-3 언어의 설계, (순수하지 않은) 함수 언어 ML의 첫 번째 컴파일러 구현, 타입풀 프로그래밍의 개념 정의, 실험 언어 Polyphonic C#[2][8][9][10][11][12]의 개발을 도왔다.

교육

그는 이탈리아 몬테카티니 테르메에서 태어났다.그는 1982년 [13]에든버러 대학에서 철학 박사 학위를 받기 전에 피사[1] 대학에 다녔다.2014년 옥스퍼드 대학, 1997년 영국 케임브리지에 있는 마이크로소프트 리서치에 입사하기 전에는 벨 랩과 Digital Equipment [1]Corporation에서 근무했으며 Vismon을 [14]비롯한 Unix 소프트웨어에 기여했습니다.

어워드

2004년에는 컴퓨터 기계 협회 펠로우로 취임했습니다.그는 왕립학회 회원이다.2007년, 카델리는 올레-요한 달과 크리스텐 니고르의 이름을 딴 시니어 AITO 달-니고르 [15]상을 수상했습니다.

레퍼런스

  1. ^ a b c d "Cardelli, Luca". Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press.(설명 필요)
  2. ^ a b Cardelli, Luca; Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN 978-0-387-94775-4.
  3. ^ Cardelli, Luca (2021). "Luca Cardelli". Department of Computer Science. University of Oxford.
  4. ^ 수학 계보 프로젝트의 루카 카르델리
  5. ^ Dalchau, N.; Phillips, A.; Goldstein, L. D.; Howarth, M.; Cardelli, L.; Emmott, S.; Elliott, T.; Werner, J. M. (2011). Chakraborty, Arup K (ed.). "A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization". PLOS Computational Biology. 7 (10): e1002144. Bibcode:2011PLSCB...7E2144D. doi:10.1371/journal.pcbi.1002144. PMC 3195949. PMID 22022238.
  6. ^ Cardelli, L. (1996). "Bad engineering properties of object-orient languages". ACM Computing Surveys. 28 (4es): 150–es. doi:10.1145/242224.242415. S2CID 12105785.
  7. ^ Cardelli, Luca; Wegner, Peter (December 1985). "On understanding types, data abstraction, and polymorphism" (PDF). ACM Computing Surveys. 17 (4): 471–523. CiteSeerX 10.1.1.117.695. doi:10.1145/6041.6042. ISSN 0360-0300. S2CID 2921816.
  8. ^ ACM 디지털 라이브러리의 Luca Cardelli 작가 프로파일 페이지
  9. ^ DBLP Bibliography Server의 Luca Cardelli 씨
  10. ^ Microsoft Academic에서 색인화한 Luca Cardelli 출판물
  11. ^ 스코퍼스 서지 데이터베이스에 의해 색인화된 Luca Cardelli의 출판물.(설명 필요)
  12. ^ Abadi, M.; Cardelli, L.; Curien, P. L.; Levy, J. J. (1990). "Explicit substitutions". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL) '90. p. 31–46. CiteSeerX 10.1.1.22.9903. doi:10.1145/96709.96712. ISBN 978-0897913430. S2CID 7265577.
  13. ^ Cardelli, Luca (1982). An algebraic approach to hardware description and verification (PhD thesis). University of Edinburgh.
  14. ^ McIlroy, M. D. (1987). A Research Unix reader: annotated excerpts from the Programmer's Manual, 1971–1986 (PDF) (Technical report). CSTR. Bell Labs. 139.
  15. ^ "The AITO Dahl–Nygaard Prize Winners for 2007". Association Internationale pour les Technologies Objets. Mjølner Informatics. 2007.

외부 링크

P np NP

컴퓨터 과학자와 관련된 이 전기 기사는 엉터리이다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.