Мадху Судан - Madhu Sudan

Мадху Судан
Мадху Судан.jpg
Родился (1966-09-12) 12 сентября 1966 г. (54 года)
Ченнаи, Индия
Альма-матерИИТ Дели
Калифорнийский университет в Беркли
НаградыПремия Гёделя (2001)
Приз Неванлинны (2002)
Премия Infosys (2014)
Научная карьера
ТезисЭффективная проверка многочленов и доказательств и трудность задач аппроксимации  (1992)
ДокторантУмеш Виркумар Вазирани
ДокторантыВенкатесан Гурусвами
Бенджамин Россман

Мадху Судан (родился 12 сентября 1966 г.)[1] является Индо-американец специалист в области информатики. Он был профессором компьютерных наук Гордона Маккея в Гарвардская школа инженерии и прикладных наук Джона А. Полсона с 2015 года.

Карьера

Он получил степень бакалавра компьютерных наук в ИИТ Дели в 1987 г.[1] и его докторская степень по информатике в Калифорнийский университет в Беркли в 1992 г.[1][2] Он был научным сотрудником в IBM Исследовательский центр Томаса Дж. Уотсона в Yorktown Heights, Нью-Йорк с 1992 по 1997 год, после чего перешел в Массачусетский технологический институт.[1] С 2009 по 2015 год работал постоянным научным сотрудником в Microsoft Research Новая Англия до присоединения Гарвардский университет в 2015 году.[нужна цитата ]

Вклад в исследования и награды

Он был награжден Рольфом. Приз Неванлинны на 24-м Международный конгресс математиков (ICM) в 2002 году. Премия присуждается за выдающуюся работу в математический аспекты информатики. Судан был удостоен чести за его работу по продвижению теории вероятностно проверяемые доказательства - способ переделать математическое доказательство на компьютерном языке для дополнительной проверки его достоверности - и разработать коды с исправлением ошибок.[1] За ту же работу он получил ACM награды за выдающиеся докторские диссертации в 1993 г. и Премия Гёделя в 2001 году и был приглашенным спикером ICM в 1998 году.[3] Он является членом ACM (2008).[4] В 2012 году он стал членом Американское математическое общество.[5] В 2014 году он выиграл Премия Infosys в математических науках.[6]В 2017 году избран в Национальная Академия Наук.[7]

Судан внес важный вклад в несколько областей теоретической информатики, включая вероятностно проверяемые доказательства, неприближаемость оптимизация проблемы, расшифровка списка, и коды исправления ошибок.[6]

использованная литература

  1. ^ а б c d е «Мадху Судан получает премию Неванлинны» (PDF), Математики Люди, Уведомления Американского математического общества, 49 (10): 1266, октябрь 2002 г..
  2. ^ Мадху Судан на Проект "Математическая генеалогия"
  3. ^ Судан, Мадху (1998). «Вероятностная проверка доказательств». Док. Математика. (Билефельд) Extra Vol. ICM Berlin, 1998, т. III. С. 461–470.
  4. ^ биография
  5. ^ Список членов Американского математического общества, получено 5 августа 2013.
  6. ^ а б Мадху Судан, Лауреаты премии Infosys, данные получены 28 февраля 2015 г.
  7. ^ Избраны члены Национальной академии наук и зарубежные сотрудники, Национальная Академия Наук, 2 мая 2017 г.

внешние ссылки