Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Үнді-американдық компьютерлік ғалым Мадху Судан (12 қыркүйек 1966 жылы туған) Берклидегі Калифорния университетінде қорғаған диссертациясы "Полиномиялар мен дәлелдемелерді тиімді тексеру және жақындау мәселелерінің қиындығы" деп аталады. Ол 1992 жылдан 1997 жылға дейін Нью-Йорк штатының Йорктаун-Хайтс қаласындағы IBM Томас Дж. Уотсон ғылыми-зерттеу орталығында ғылыми қызметкер болып жұмыс істеді, содан кейін Массачусетс технология институтында (MIT) зерттеуші болды.
Indian American computer scientist
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) Рольф Неванлинна сыйлығымен марапатталды. Бұл сыйлық компьютер ғылымының математикалық аспектілеріндегі ең үздік жұмыстарды мойындайды. Судан математикалық дәлелдемені компьютерлік тілге аудару арқылы оның дұрыстығын қосымша тексеруге мүмкіндік беретін және қателерді түзету кодтарын жасау арқылы дәлелдемелер теориясын дамытқандығы үшін марапатталды. Осы жұмысы үшін ол 1993 жылы ACM-нің үздік докторлық диссертациясы сыйлығын, 2001 жылы Гедель сыйлығын алды және 1998 жылы ICM-нің шақырылған баяндамашысы болды. ACM мүшесі (2008). 2012 жылы Америка математикалық қоғамының мүшесі болды. 2014 жылы математикалық ғылымдар саласындағы Infosys сыйлығын жеңіп алды. 2017 жылы Ұлттық ғылым академиясының академигі болып сайланды. 2021 жылы ол 2022 жылға арналған IEEE Ричард У. Хамминг медалімен марапатталды. Судан теориялық компьютер ғылымының бірнеше саласына маңызды үлес қосты, оның ішінде ықтималдықпен тексерілетін дәлелдер, оңтайландыру мәселелерінің жуықтап шешілмейтіні, тізімдік кодтау және қателерді түзету кодтары.
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.