마르틴 아바디

Martín Abadi
마르틴 아바디
태어난1963년(58~59세
아르헨티나
교육스탠퍼드 대학교 박사, 1987년
로 알려져 있다버로우즈-아바디-니덤 논리
베이비 모듈라-3
물체의 이론
과학 경력
필드컴퓨터 공학
암호화
기관구글
캘리포니아 대학교 산타 크루즈
콜레주 드 프랑스
박사 어드바이저조하르 마나

마르틴 아바디(1963년생)[1]는 아르헨티나의 컴퓨터 과학자로 2021년 [2]현재 구글에서 일하고 있습니다.그는 1987년 조하르 마나의 학생으로 스탠포드 대학에서 컴퓨터 공학 박사 학위를 취득했습니다.

인증 프로토콜 분석을 위한 Burrows-Abadi-Needham 논리에 관한 논문(Michael Burrows 및 Roger Needham)과 객체 지향 프로그래밍 랜의 의미에 대한 공식 계산을 포함한 컴퓨터 보안 및 프로그래밍 언어에 관한 연구로 잘 알려져 있습니다.게이지를 클릭합니다.[3]

1993년, 그는 기능적 프로그래밍과 집합론의 이상을 바탕으로 모듈라-3의 안전한 하위 집합 또는 하위 언어인 프로그래밍 언어인 Baby Modula-3를 발표했다.

그는 2008년 컴퓨터 [4]협회 펠로우입니다.2011년에는 파리 [5]콜레주 드 프랑스에서 컴퓨터 보안을 가르치는 임시 교수였습니다.그는 컴퓨터 보안의 공식 이론에 기여한 공로로 2018년 미국[6] 공학 아카데미 회원으로 선출되었습니다.

레퍼런스

  1. ^ "Biography: Informatics and Computational Sciences: Martin Abadi". Collège de France. 2010–2011. Retrieved 5 March 2021.
  2. ^ "People: Martín Abadi". Google Research. Retrieved 5 March 2021.
  3. ^ Abadi, Martin; Cardelli, Luca (9 August 1996). A Theory of Objects (Corrected ed.). Springer. ISBN 978-0387947754.
  4. ^ "Martin Abadi". ACM Awards. Association for Computing Machinery. 2008. Retrieved 5 March 2021.
  5. ^ 2010년 9월 7일 프랑스 공화국 대통령령, 캘리포니아 대학의 마르틴 아바디 교수를 2010~2011학년도 정규 임시 교수로 임명.
  6. ^ "National Academy of Engineering Elects 83 Members and 16 Foreign Members". National Academy of Engineering (NAE). Retrieved 9 February 2018.

외부 링크