레슬리 발리안트

Leslie Valiant
"Les Valiant"가 여기로 방향을 바꾼다. 발리안트와혼동해서는 안 된다.
레슬리 발리안트

FRS
Leslie Valiant (34913684313).jpg
2012년 발리안트
태어난
레슬리 가브리엘 발리안트

(1949-03-28) 1949년 3월 28일 (72)
헝가리 부다페스트
국적영국의
모교
로 알려져 있다.
수상
과학 경력
필드수학
이론 전산학
계산학습이론
이론신경과학
기관
논문결정론적 푸시다운 오토마타 패밀리의 의사결정 절차 (1974)
박사학위 자문위원마이크 패터슨[3]
박사과정 학생
웹사이트아마존닷컴~밸리언트

레슬리 가브리엘 발리안트 FRS[4][5](Leslie Gabriel Valiant FRS, 1949년 3월 28일생)는 영국의 컴퓨터[6] 과학자 겸 컴퓨터 이론가다.[7][8] 그는 현재 하버드 대학의 컴퓨터 과학 및 응용 수학의 T. 제퍼슨 쿨리지 교수로 재직하고 있다.[9][10][11][12] 발리언트는 2010년 튜링상을 수상했는데, A.C.M.에 의해 이론 컴퓨터 과학에 영웅적인 인물로 묘사되었고 과학에서 가장 깊은 미해결 문제를 해결하는데 용기와 창의력, 특히 "깊이와 폭의 스트라이킹 조합"[6]으로 인해 역할 모델로서 묘사되었다.

교육

발리언트는 1974년 킹스 [13][6]칼리지, 캠브리지, 임페리얼 칼리지 [13][6]런던, 워릭 대학에서 컴퓨터 공학 박사학위를 받았다.[14][3]

연구 및 경력

발리언트는 이론 컴퓨터 과학 분야 연구로 세계적으로 유명하다. 복잡성 이론에 대한 그의 많은 공헌 중에서, 그는 열거와 신뢰성 문제가 난치인 이유를 설명하기 위해 #P-완전성("sharP-P 완전성") 개념을 도입했다. 그는 컴퓨터 학습 이론의 분야를 성장시키는 데 도움을 준 기계 학습의 "아마도 대략적으로 정확할 것"(PAC) 모델과 홀로그래픽 알고리즘의 개념도 소개했다. 컴퓨터 시스템에서 그는 대량 동기식 병렬 처리 모델을 도입한 것으로 가장 잘 알려져 있다. 그의 초기 오토마타 이론의 연구는 문맥 없는 파싱에 대한 알고리즘을 포함하고 있는데, 이 알고리즘은 (2010년 현재) 여전히 점증적으로 가장 빨리 알려져 있다. 그는 또한 기억력 이해와 학습에 초점을 맞춘 계산 신경 과학 분야에서 일한다.

Valiant의 2013년 책은 아마도 대략 정확할 것이다: 복잡한 세계에서 배우고 번영하기 위한 자연의 알고리즘이다.[15] 그 속에서 그는 무엇보다도 진화생물학이 진화의 발생 속도를 설명하지 않는다고 주장하는데, 예를 들어, "다윈의 진화에 대한 일반적인 스키마가 본질적으로 정확하다는 증거는 대다수의 생물학자들에게 설득력이 있다. 이 작가는 스스로 납득할 만큼 자연사 박물관에 다녀왔다. 그러나 이 모든 것이 현재의 진화론이 충분히 설명되어 있다는 것을 의미하지는 않는다. 현재 진화론은 진화가 복잡한 메커니즘을 개발하거나 변화하는 환경에서 진화를 유지하는 속도에 대해 설명할 수 없다."

발리언트는 1982년 하버드 대학교에서 가르치기 시작했고 현재 하버드 공대 컴퓨터 과학 및 응용 수학의 T. 제퍼슨 쿨리지 교수로 재직하고 있다. 1982년 이전에 그는 카네기 멜론 대학교, 리즈 대학교, 에든버러 대학교에서 가르쳤다.

수상 및 수상

발리언트는 1986년 네반린나상, 1997년 크누스상, 2008년 EATCS상,[16] 2010년 튜링상을 받았다.[17][18] 1991년 왕립학회(FRS),[4] 1992년 인공지능 선진화협회(AAAI),[19][20] 2001년 미국국립과학원 회원으로 선출됐다. 발리안트의 왕립학회 지명은 다음과 같다.

발리언트는 이론 컴퓨터 과학의 거의 모든 분야의 성장에 결정적인 기여를 했다. 그의 작업은 주로 컴퓨터에서 문제를 푸는 데 드는 자원 비용을 수학적으로 계량화하는 것과 관련이 있다. 초기 연구(1975)에서 그는 상황 없는 언어를 인식하는 것으로 알려진 점증적으로 가장 빠른 알고리즘을 발견했다. 동시에, 그는 연산 분석을 위한 그래프의 통신 속성 사용을 선도했다. 1977년, 그는 #P-완전성("sharP-P") 개념을 정의하고, 계산적 추적가능성에 따른 계수나 열거 문제를 분류하는 데 그 효용성을 확립했다. 첫 번째 적용은 매치(매트릭스 영구함수)를 세는 것이었다. 1984년에 Valiant는 처음으로 계산적 타당성과 학습해야 할 논리 규칙의 비독점적 계층에 대한 적용가능성을 조화시킨 귀납적 학습의 정의를 도입했다.* 최근에는 멀티프로세서 시스템의 효율적인 통신 라우팅을 위한 계획을 고안했다. 그는 희박한 네트워크에도 수반되는 오버헤드가 시스템의 크기에 따라 커질 필요는 없다는 것을 보여주었다. 이것은 이론적인 관점에서 효율적인 범용 병렬 컴퓨터의 가능성을 확립한다.[5]

A.M.에 대한 표창장. 튜링상 수상 내용:

계산 이론에 대한 변환적 기여를 위해, 대략적으로 정확한 (PAC) 학습 이론, 열거 및 대수 계산의 복잡성, 병렬 및 분산 컴퓨팅 이론을 포함한다.[6]

사생활

그의 두 아들 그레고리 발리언트와[21] 폴 발리언트는[22] 각각 스탠포드 대학과 퍼듀 대학의 교수로 이론 컴퓨터 과학자다.[8]

참고 항목

참조

  1. ^ Valiant, L.; Vazirani, V. (1986). "NP is as easy as detecting unique solutions" (PDF). Theoretical Computer Science. 47: 85–93. doi:10.1016/0304-3975(86)90135-0.
  2. ^ Valiant, L. G. (1979). "The Complexity of Enumeration and Reliability Problems". SIAM Journal on Computing. 8 (3): 410–421. doi:10.1137/0208032.
  3. ^ a b c 수학 계보 프로젝트 레슬리 발리언트
  4. ^ a b "Leslie Valiant FRS". London: Royal Society. 1991.
  5. ^ a b DServe 아카이브 카탈로그 쇼
  6. ^ a b c d e "Leslie G. Valiant - A.M. Turing Award Laureate". A.M. Turing Award. Retrieved 9 January 2019.
  7. ^ Hoffmann, L. (2011). "Q&A: Leslie Valiant discusses machine learning, parallel computing, and computational neuroscience". Communications of the ACM. 54 (6): 128. doi:10.1145/1953122.1953152.
  8. ^ a b Anon (2017). "Valiant, Prof. Leslie Gabriel". Who's Who. ukwhoswho.com (online Oxford University Press ed.). A & C Black, an imprint of Bloomsbury Publishing plc. doi:10.1093/ww/9780199540884.013.U40928. (구독 또는 영국 공공도서관 회원 필요) (필요한 경우)
  9. ^ ACM Digital Library의 Leslie Valiant 저자 프로필 페이지
  10. ^ Wigderson, A. (2009). "The work of Leslie Valiant". Proceedings of the 41st annual ACM symposium on Symposium on theory of computing - STOC '09. pp. 1–2. doi:10.1145/1536414.1536415. ISBN 9781605585062. S2CID 15370663.
  11. ^ DBLP 서지학 서버의 레슬리 G. 발리안트
  12. ^ Valiant, Leslie (1984). "A theory of the learnable" (PDF). Communications of the ACM. 27 (11): 1134–1142. doi:10.1145/1968.1972. S2CID 12837541.
  13. ^ a b "CV of Leslie G. Valiant" (PDF). Harvard University. Retrieved 9 January 2019.
  14. ^ Valiant, Leslie (1973). Decision procedures for families of deterministic pushdown automata. warwick.ac.uk (PhD thesis). University of Warwick. OCLC 726087468. EThOS uk.bl.ethos.475930.
  15. ^ 기본 도서, ISBN 9780465032716
  16. ^ 데이비드 펠레그 더 EATCS Award 2008 – Leslie Valiant European Association of 이론 컴퓨터 과학 교수 로다티오.
  17. ^ Josh Fishman은 2011년 3월 9일 "Harvard U의 발명가, Turing Aworthly Correct"를 수상하였다.
  18. ^ 기계 학습 ACM 컴퓨팅 뉴스 혁신가에게 수여되는 ACM 튜링상
  19. ^ 인공지능 발전을 위한 AAAI 동료 협회 선출
  20. ^ 회원명부: 레슬리 G. 발리안트 국립과학원
  21. ^ 그레고리 발리언트 홈페이지
  22. ^ 폴 발리안트의 홈페이지

외부 링크

이 문서에는 CC BY 4.0 라이센스에 따라 사용할 수 있는 텍스트가 포함되어 있다.