마두 수단

Madhu Sudan
마두 수단
Madhu Sudan.jpg
태어난 (1966-09-12) 1966년 9월 12일(55세)
인도 첸나이
모교IIT 델리
캘리포니아 대학교 버클리
어워드괴델상 (2001)
네반린나상 (2002)
인포시스상 (2014) IEEE 리처드 W. 해밍 메달(2021)
과학 경력
논문다항식 및 증명의 효율적 확인과 근사 문제의 경도 (1992)
박사 어드바이저우메쉬 비르쿠마르 바지라니
박사과정 학생벤카테산 구루스와미
벤저민 로스먼

마두 수단(Madhu Sudan, 1966년 [1]9월 12일 ~ )은 인도계 미국인 컴퓨터 과학자이다.그는 하버드 존 A의 컴퓨터 공학 교수 고든 맥케이를 역임했습니다. 2015년부터 폴슨 공과대학 및 응용과학대학원을 운영하고 있습니다.

직업

1987년[1] IIT 델리에서 컴퓨터 공학 학사 학위를 받았고 1992년 캘리포니아 [1][2]버클리 대학에서 컴퓨터 공학 박사 학위를 받았습니다.1992년부터 1997년까지 뉴욕 요크타운 하이츠의 IBM Thomas J. Watson Research Center에서 연구 직원으로 근무하다가 그 [1]후 MIT로 자리를 옮겼다.2009년부터 2015년까지 Microsoft Research New England의 상임 연구원으로 있다가 [citation needed]2015년에 하버드 대학에 입학했습니다.

연구 공헌 및 수상

그는 2002년 제24회 국제수학자대회에서 롤프 네반리나상을 수상했다.이 상은 컴퓨터 과학의 수학적 측면에서 뛰어난 업적을 인정합니다.수단은 확률적으로 확인할 수 있는 증명 이론(그 타당성에 대한 추가적인 확인을 위해 컴퓨터 언어로 수학적 증명을 재캐스트하는 방법)을 추진하고 오류 수정 코드를 개발한 [1]공로로 영예를 안았습니다.같은 업적으로 1993년 ACM의 저명한 박사학위 논문상, 2001년 괴델상을 수상했으며 1998년에는 [3]ICM의 초청 연사로 활동했다.그는 ACM(2008)[4]의 펠로우입니다.2012년에 그는 미국 수학 [5]협회의 회원이 되었다.2014년에 그는 수학 [6]과학 분야에서 Infosys 상을 수상했다.2017년 그는 [7]국립과학아카데미에 선출되었다.2021년에 그는 2021년에 IEEE 리처드 W. 해밍 메달을 받았습니다.

수단은 확률적으로 확인할 수 있는 증명, 최적화 문제의 비근사성, 목록 디코딩 및 오류 수정 [6]코드 등 이론 컴퓨터 과학의 여러 분야에 중요한 기여를 했습니다.

레퍼런스

  1. ^ a b c d e 를 클릭합니다"Madhu Sudan Receives Nevanlinna Prize" (PDF), Mathematics People, Notices of the American Mathematical Society, 49 (10): 1266, October 2002.
  2. ^ 수학 족보 프로젝트의 마두 수단
  3. ^ Sudan, Madhu (1998). "Probabilistic verification of proofs". Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. III. pp. 461–470.
  4. ^ 전기
  5. ^ 2013-08-05년 미국 수학회 펠로우 목록.
  6. ^ a b 인포시스상 수상자인 마두 수단은 2015-02-28을 회수했다.
  7. ^ 2017년 5월 2일, 미국 과학 아카데미 회원 및 해외 협력자 선출.

외부 링크