Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
Индийско-американский учёный в области компьютерных наук
Indian American computer scientist
Мадху Судан (родился 12 сентября 1966 года). Название его диссертации, написанной в Калифорнийском университете в Беркли: «Эффективная проверка полиномов и доказательств, а также сложность задач аппроксимации». С 1992 по 1997 год он работал в исследовательском центре IBM Томаса Дж. Уотсона в Йорктауне-Хайтс, штат Нью-Йорк, после чего стал исследователем в Массачусетском технологическом институте (MIT).
Madhu Sudan (born 12 September 1966) The dissertation he wrote at the University of California, Berkeley is titled Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems. He was a research staff member at the IBM Thomas J. Watson Research Center in Yorktown Heights, New York from 1992 to 1997 and became a researcher at the Massachusetts Institute of Technology (MIT) after that.
Вклад в исследования и премии
В 1998 году он получил стипендию Слоан. В 2002 году он был удостоен премии Рольфа Неванлинны на 24-м Международном конгрессе математиков (ICM). Эта премия присуждается за выдающиеся работы в математических аспектах информатики. Судан был отмечен за его вклад в развитие теории вероятностно проверяемых доказательств – метода представления математического доказательства на языке программирования для дополнительной проверки его корректности – и разработку кодов, исправляющих ошибки. За ту же работу он получил премию ACM за выдающуюся докторскую диссертацию в 1993 году и премию Гёделя в 2001 году, а также выступал в качестве приглашенного докладчика на ICM в 1998 году. Он является членом Ассоциации вычислительной техники (ACM) с 2008 года. В 2012 году он стал членом Американского математического общества. В 2014 году он получил премию Infosys в области математических наук. В 2017 году он был избран членом Национальной академии наук. В 2021 году он был удостоен медали Ричарда У. Хамминга IEEE за 2022 год. Судан внес значительный вклад в несколько областей теоретической информатики, включая вероятностно проверяемые доказательства, неприблизимость задач оптимизации, декодирование списков и коды, исправляющие ошибки.
In 1998, he received the Sloan Research Fellowship. He was awarded the Rolf Nevanlinna Prize at the 24th International Congress of Mathematicians (ICM) in 2002. The prize recognizes outstanding work in the mathematical aspects of computer science. Sudan was honored for his work in advancing the theory of probabilistically checkable proofs—a way to recast a mathematical proof in computer language for additional checks on its validity—and developing error correcting codes. For the same work, he received the ACM's Distinguished Doctoral Dissertation Award in 1993 and the Gödel Prize in 2001 and was an Invited Speaker of the ICM in 1998. He is a Fellow of the ACM (2008). In 2012 he became a fellow of the American Mathematical Society. In 2014 he won the Infosys Prize in the mathematical sciences. In 2017 he was elected to the National Academy of Sciences. In 2021, he was awarded the IEEE Richard W. Hamming Medal for 2022. Sudan has made important contributions to several areas of theoretical computer science, including probabilistically checkable proofs, non approximability of optimization problems, list decoding, and error correcting codes.