맥튜터

전기

레슬리 발리언트의 부모는 레슬리 발리언트와 에바 줄리아 우즐라키였다. 그는 영국에서 자랐고 노스 실즈 주 타이 너머스 고등학교에 다녔습니다. 이 학교는 1969 년에 이름이 바뀌 었습니다,몇 년 용감한 왼쪽 후,그것은 노럼 고등학교로 알려지게되었을 때. 용감한 그의 학교 교육을 완료 라티 머 어퍼 스쿨,에 킹 스트리트,해머 스미스,런던. 이것은(그리고 여전히)1624 년에 에드워드 라티 머에 의해 창립으로 거슬러 올라가는 좋은 평판을 가진 유명한 선택적 독립 학교였습니다. 라티 머 어퍼 스쿨을 졸업 한 후,그는 킹스 칼리지,캠브리지에서 공부 한 후,그의 첫 번째 학위,수학 학사 학위를 수상한 후,그는 이론적 인 컴퓨터 과학을 공부 임페리얼 칼리지,런던에 들어갔다. 임페리얼 대학의 컴퓨터 과학 디플로마의 수상 후,용감한 워릭 대학의 그가 어디 컴퓨터 과학 박사 학위에 대한 마이클 스튜어트 패터슨과 그의 고문으로 연구를 약속했다.
박사 수상 전,용감한 피츠버그,펜실베니아 카네기 멜론 대학에서 방문 조교수로 미국에서 올해 1,973 에서 74 사이 보냈다. 그는 1974 년 워릭 대학에서 결정론 푸시 다운 오토마타의 가족에 대한 자신의 논문 결정 절차에 대한 자신의 박사 학위를 수여했다. 와 공동으로 자신의 논문 관리자 M S Paterson,용감했다 종이 결정적인 중 하나-오토마타 카운터를 Erste Fachtagung der Gesellschaft für Informatik über Automatentheorie und Formale 위대한!Ⓣ본 1973. 윌 프리드 브라우어는 논문을 검토,쓰기:-

결정 론적 원 카운터 오토 마톤(도카)은 하나의 요소 스택 알파벳을 갖는 결정 론적 푸시 다운 오토 마톤입니다. 그것은 도카의 포함 및 무효-의 교차점 문제가 결정 불가능하다는 것을 쉽게 알 수있다. 이와는 대조적으로,저자는 도카의 동등성에 대한 결정 절차를 제시하고 시간 복잡성이 테스트 된 도카의 상태 수의 제곱근에 대한 지수 함수에 의해 위에 묶여 있음을 보여줍니다.그들은 모든 결정 론적 푸시 다운 오토마타의 클래스에 대해 동등성이 결정 가능하다고 추측합니다.

용감한 1974 년에 결정론 유한 턴 푸시 다운 오토마타에 대한 등가 문제를 논문을 발표했다. 모든 입력에 대한 계산 중에 푸싱(푸시다운 저장소의 길이 증가)에서 팝핑(푸시다운 저장소의 길이 감소)으로 전환할 수 있는 횟수에 균일한 바인딩이 있는 경우. 저자는 동등성 문제의 결정 가능성을 확립합니다(두 기계가 동일한 언어를 허용합니까?)에 대한 결정 론적 유한 턴 피다. 결과의 중요성은 그것을 확립하는 데 사용되는 증명 기법과 그것이 결정 론적 피험자의(피험자의)에 대한 동등성 문제가 결정 가능하다는 오랜 뛰어난 추측을 정착시키는 데 중요한 돌파구 중 하나를 대표한다는 사실에 있습니다(해당 문제는 매우 제한된 경우에도 비 결정적 피험자의 경우 결정 불가능한 것으로 알려져 있습니다).1974 년 미국에서 돌아온 후,용감한 리즈 대학에서 그는 2 년 동안 1974-76 근무 강사를했다. 우리가 그의 초기 논문의 또 다른 예를 들어 보자,이 사람은 다시 석사 패터슨과 공동으로 작성,. 이 1975 종이 결정론 1 카운터 오토마타는 다음과 같은 저자의 소개로 시작:-

우리는 그들에 대한 등가 문제가 결정 가능하다는 것을 보여주기 위해 결정론 1 카운터 오토마타의 분석을 제시한다. 우리의 모든 주장과 결과는 스키마 이론 용어로 직접 번역 될 수 있습니다. 그 다음에 따르는 결과는 보조 카운터가 허용되는 경우에도 야노프 스키마에 대해 동등성을 결정할 수 있다는 것입니다.

발리언트는 1975 년 스코틀랜드로 이주하여 에딘버러 대학교에서 강사를 맡았다. 1977 년 그는 게일 린 다이크 호프와 결혼;그들은 두 아들 그레고리 존 용감한 폴 용감한 있었다. 에딘버러에서 그는 1981 년 리더로 승진했지만,1982 년 미국에 갔을 때 하버드에서 객원 교수였다. 나중에 그 해 그는 하버드에서 고든 맥케이 컴퓨터 과학 및 응용 수학 교수로 임명되었다. 비록 그가 올해 1,987 에서 88 사이 옥스퍼드 대학의 영국에서 방문 연구원으로 보낸 그는 하버드에 남아 있었다. 2001 년에 그는 제퍼슨 쿨리지 컴퓨터 과학 및 응용 수학 교수 하버드 공학 및 응용 과학 학교에서.
그 용감한 만든 공헌은 매우 놀라운이며,그는 자신의 업적에 대한 가장 높은 추천을 받았다. 그는 1985-86 년 구겐하임 펠로우였으며 1986 년 네반린나 상을 받았다. 그는 1991 년 런던 왕립 학회의 연구원으로 선출되었고,이듬해,인공 지능에 대한 미국 협회의 연구원으로 선출되었다. 그는 협회 컴퓨팅 기계 특수 이익 그룹에 대한 알고리즘과 계산 이론 및 연구소 전기 및 전자 엔지니어 기술위원회 컴퓨팅의 수학적 기초에 대한 1997 년 크 누스 상을 수상했다. 그는 2001 년 미국 국립 과학 아카데미에 선출되었다,이론 컴퓨터 과학 상을위한 유럽 협회,그리고 컴퓨터 기계 협회의 2010 엠 튜링 어워드는 2011 년 6 월 4 일 산호세,캘리포니아에있는 협회의 연례 시상식 연회에서 용감한에 표시됩니다 받았다. 이 상에는$250,000 의 상금도 포함됩니다.
우리는 그에게 가능한 가장 높은 상을 받게되었다 용감한 의해 기여를 설명하지 않았습니다. 이를 위해 우리는 튜링 상(그 해설에서 인용 아래 참조 된 2011 년 기사)의 발표와 함께 해설에서 인용. 해설이 시작됩니다:-

지난 30 년 동안,레슬리 발리언트는 이론적 컴퓨터 과학의 여러 측면에 근본적인 기여를했다. 그의 작품은 새로운 국경을 열고 독창적 인 새로운 개념을 도입했으며 독창성,깊이 및 아름다움의 결과를 제시했습니다. 시간과 다시,용감한 작품은 말 그대로 정의 또는 컴퓨터 과학 연구 풍경을 변화시켰다.

그런 다음 용감한 놀라운 기여를 한 몇 가지 영역의 제공 세부 사항에 간다. 우리는 네 가지 영역 각각에서 짧은 추출물을 제공합니다:

  1. 전산 학습 이론. 용감한 사람의 가장 큰 공헌은 그의 논문’학습 가능한 이론'(1984)일 수 있으며,이는 전산 학습 이론의 기초를 마련했습니다. … 용감한의”아마 대략 올바른”(팩맨)모델은 학습의 매우 개념에 대한 아름다운 기초를 제공했다.
  2. 열거형의 복잡성. 1970 년대 초,계산 복잡성은 일반적으로 그래프가 완벽하게 일치하는지 또는 여행 세일즈맨이 특정 길이의 경로를 찾을 수 있는지 여부와 같은 의사 결정 문제의 어려움을 다루었습니다. … 용감한의 가장 주목할만한 발견 중 하나는 계산 문제가 훨씬 더 미묘한 이전 경험 제안보다 것입니다. 계산 문제는 일부 조합 객체의 수를 묻습니다:예를 들어,그래프에 얼마나 많은 완전 일치가 있습니까? 우리는 그 숫자가 양수인지 여부에 대한 결정 문제를 묻는 것이 아니라 얼마나 큰지에 대한 결정 문제를 묻는 것입니다. 결정 문제가 어려운 경우,다음 계산 문제뿐만 아니라해야하지만,용감한 놀라운 실현은 대화가 실패했다. 그의 논문”영구 컴퓨팅의 복잡성”(1979)에서 그는 그래프가 완벽한 매칭을 가지고 있는지 여부를 알려주는 효율적인 알고리즘이 있지만 완벽한 매칭을 계산하는 효율적인 알고리즘은 없다는 것을 보여주었습니다. 이것은 의사 결정 문제가 문제의 주요 특징을 쉽게 포착 할 수 있다는 생각에 익숙해 진 계산 복잡성 커뮤니티에 충격이되었습니다.
  3. 대수 계산. 계산 복잡성에 또 다른 주요 기여는 대수 계산,그는 대수 수식을 효율적으로 평가할 수있는 이해를위한 프레임 워크를 설립 용기의 이론이었다. … 그의 논문에서”대수학에서 완전성 클래스”(1979),용감한 선형 대수학에서 두 가지 기본적이고 밀접하게 관련된 함수의 측면에서 대수 계산의 어려움,즉 결정 및 영구 특징.
  4. 병렬 및 분산 컴퓨팅. 계산 학습 이론 및 계산 복잡성 외에도 용감한 중요한 기여를 한 세 번째 광범위한 영역은 병렬 및 분산 컴퓨팅 이론입니다. 그의 결과는 단순하지만 강력하고 우아한 통찰력에서 매우 기초를 재검토하는 것까지 다양합니다. 간단한 통찰력의 예는”빠른 병렬 통신을위한 계획”(1982)에 설명 된 그의 병렬 라우팅 체계입니다.

우리는 전체 튜링 상 표창의 결론을 인용하여이 전기를 종료:-

드물게 하나는 용감한 작품에서와 같이 깊이와 폭의 이러한 눈에 띄는 조합을 볼 수 없습니다. 그는 진정으로 이론적 인 컴퓨터 과학에서 영웅적인 인물이며 과학에서 가장 깊은 미해결 문제를 해결하는 데있어 용기와 창의력의 역할 모델입니다.

답글 남기기

이메일 주소는 공개되지 않습니다.