Мадху Судан | |
---|---|
Родившийся | ( 1966-09-12 ) 12 сентября 1966 г. (54 года) Ченнаи, Индия |
Альма-матер | ИИТ Дели Калифорнийского университета, Беркли |
Награды | Премия Гёделя (2001) Премия Неванлинны (2002) Премия Infosys (2014) |
Научная карьера | |
Тезис | Эффективная проверка многочленов и доказательств, а также трудность задач аппроксимации (1992) |
Докторант | Умеш Виркумар Вазирани |
Докторанты | Венкатесан Гурусвами Бенджамин Россман |
Мадху Судан (родился 12 сентября 1966 г.) - американский ученый - компьютерщик индийского происхождения. С 2015 года он был профессором компьютерных наук Гордона Маккея в Гарвардской школе инженерии и прикладных наук им. Джона А. Полсона.
Он получил степень бакалавра компьютерных наук в ИИТ Дели в 1987 году и докторскую степень по информатике в Калифорнийском университете в Беркли в 1992 году. Он был научным сотрудником исследовательского центра IBM Thomas J. Watson Research Center в Йорктаун-Хайтс, штат Нью-Йорк. Йорк с 1992 по 1997 год, после чего перешел в Массачусетский технологический институт. С 2009 по 2015 год он был постоянным исследователем в Microsoft Research New England, а в 2015 году присоединился к Гарвардскому университету.
Ему была присуждена премия Рольфа Неванлинны на 24-м Международном конгрессе математиков (ICM) в 2002 году. Премия присуждается за выдающиеся работы в математических аспектах информатики. Судан был удостоен чести за его работу по развитию теории вероятностно проверяемых доказательств - способа переделать математическое доказательство на компьютерном языке для дополнительных проверок его достоверности - и разработки кодов, исправляющих ошибки. За ту же работу он получил премию ACM за выдающуюся докторскую диссертацию в 1993 году и премию Гёделя в 2001 году, а также был приглашенным спикером ICM в 1998 году. Он является членом ACM (2008). В 2012 году он стал членом Американского математического общества. В 2014 году он стал лауреатом премии Infosys в области математических наук. В 2017 году он был избран членом Национальной академии наук.
Судан внес важный вклад в несколько областей теоретической информатики, включая вероятностно проверяемые доказательства, не аппроксимируемость задач оптимизации, декодирование списков и коды с исправлением ошибок.