Biography:Madhu Sudan: Difference between revisions

From HandWiki
(linkage)
 
(add)
 
Line 1: Line 1:
{{Short description|Indian-American computer scientist}}
{{Use Indian English|date=November 2018}}
{{Infobox scientist
{{Infobox scientist
| name              = Madhu Sudan
| name              = Madhu Sudan
| image            = Madhu Sudan.jpg
| image            = Madhu Sudan Oberwolfach 2015.jpg
| image_size        =  
| image_size        =  
| alt              =  
| alt              =  
| caption          =  
| caption          = Sudan at Oberwolfach in 2015
| landscape        =  
| birth_date        = {{birth date and age|df=yes|1966|09|12}}
| birth_date        = {{birth date and age|df=yes|1966|09|12}}
| birth_place      = Chennai, {{wipe|India}}
| birth_place      = Madras, India<ref name="nevanlinna"/>
| death_date        = <!-- {{Death date and age|df=yes|YYYY|MM|DD|YYYY|MM|DD}} (death date then birth date) -->
| death_date        =  
| death_place      =  
| death_place      =  
| residence        =  
| residence        =  
Line 16: Line 15:
| fields            =  
| fields            =  
| workplaces        =  
| workplaces        =  
| alma_mater        = IIT Delhi <br> [[Organization:University of California, Berkeley|University of California, Berkeley]]
| education        = IIT Delhi (BTech)<br> [[Organization:University of California, Berkeley|University of California, Berkeley]] (PhD)
| doctoral_advisor  = [[Biography:Umesh Vazirani|Umesh Vazirani]]
| doctoral_advisor  = [[Biography:Umesh Vazirani|Umesh Vazirani]]
| academic_advisors =  
| academic_advisors =  
Line 44: Line 43:


==Career==
==Career==
He received his bachelor's degree in computer science from IIT Delhi in 1987<ref name="nevanlinna"/> and his doctoral degree in computer science at the [[Organization:University of California, Berkeley|University of California, Berkeley]] in 1992.<ref name="nevanlinna"/><ref>{{mathgenealogy|id=72850}}</ref> 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 [[Company:IBM|IBM]] [[Organization:Thomas J. Watson Research Center|Thomas J. Watson Research Center]] in Yorktown Heights, New York from 1992 to 1997 and became a researcher at the [[Organization:Massachusetts Institute of Technology|Massachusetts Institute of Technology]] (MIT) after that.<ref name="nevanlinna"/> From 2009 to 2015 he was a permanent researcher at [[Organization:Microsoft Research|Microsoft Research]] New England before joining the [[Organization:Harvard University|Harvard University]] faculty in 2015.<ref>{{Cite web |title=Madhu Sudan's Home Page |url=https://madhu.seas.harvard.edu/ |access-date=2023-12-12 |website=madhu.seas.harvard.edu}}</ref>
He received his bachelor's degree in computer science from IIT Delhi in 1987<ref name="nevanlinna"/> and his doctoral degree in computer science at the [[Organization:University of California, Berkeley|University of California, Berkeley]] in 1992.<ref name="nevanlinna"/><ref>{{mathgenealogy|id=72850}}</ref> 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 [[Company:IBM|IBM]] [[Organization:Thomas J. Watson Research Center|Thomas J. Watson Research Center]] in Yorktown Heights, New York from 1992 to 1997 and became a researcher at the [[Organization:Massachusetts Institute of Technology|Massachusetts Institute of Technology]] (MIT) after that.<ref name="nevanlinna"/> From 2009 to 2015 he was a permanent researcher at [[Organization:Microsoft Research|Microsoft Research]] New England before joining the [[Organization:Harvard University|Harvard University]] faculty in 2015.<ref>{{Cite web |title=Madhu Sudan's Home Page |url=https://madhu.seas.harvard.edu/ |access-date=2023-12-12 |website=madhu.seas.harvard.edu}}</ref>


==Research contribution and awards==
==Research contribution and awards==
He was awarded the Rolf Nevanlinna Prize at the 24th International Congress of Mathematicians (ICM) in 2002. The prize recognizes outstanding work in the [[Mathematics|mathematical]] aspects of computer science. Sudan was honored for his work in advancing the theory of [[Probabilistically checkable proof|probabilistically checkable proof]]s&mdash;a way to recast a mathematical proof in computer language for additional checks on its validity&mdash;and developing error-correcting codes.<ref name="nevanlinna">{{citation|title=Madhu Sudan Receives Nevanlinna Prize|journal=Notices of the American Mathematical Society|volume=49|issue=10|date=October 2002|url=https://www.ams.org/notices/200210/comm-nevanlinna.pdf|page=1266|department=Mathematics People}}.</ref> For the same work, he received the [[Organization:Association for Computing Machinery|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.<ref>{{cite book|author=Sudan, Madhu|chapter=Probabilistic verification of proofs|title=Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. III|year=1998|pages=461–470|chapter-url=https://www.elibm.org/ft/10011602000}}</ref> He is a Fellow of the ACM (2008).<ref>[http://people.csail.mit.edu/madhu/bio.txt Biography]</ref> In 2012 he became a fellow of the American Mathematical Society.<ref>[https://www.ams.org/profession/fellows-list List of Fellows of the American Mathematical Society], retrieved 2013-08-05.</ref> In 2014 he won the Infosys Prize in the mathematical sciences.<ref name="infosys">[http://www.infosys-science-foundation.com/prize/laureates/2014/madhu-sudan.asp Madhu Sudan], Infosys Prize Laureates, retrieved 2015-02-28.</ref>
In 1998, he received the Sloan Research Fellowship.<ref>{{cite web | title=Fellows Database | website=Sloan Foundation | url=https://sloan.org/fellows-database | access-date=2024-03-23}}</ref> He was awarded the Rolf Nevanlinna Prize at the 24th International Congress of Mathematicians (ICM) in 2002. The prize recognizes outstanding work in the [[HandWiki:Mathematics|mathematical]] aspects of computer science. Sudan was honored for his work in advancing the theory of [[Probabilistically checkable proof|probabilistically checkable proof]]s—a way to recast a mathematical proof in computer language for additional checks on its validity—and developing error-correcting codes.<ref name="nevanlinna">{{citation|title=Madhu Sudan Receives Nevanlinna Prize|journal=Notices of the American Mathematical Society|volume=49|issue=10|date=October 2002|url=https://www.ams.org/notices/200210/comm-nevanlinna.pdf|page=1266|department=Mathematics People}}.</ref> For the same work, he received the [[Organization:Association for Computing Machinery|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.<ref>{{cite book|author=Sudan, Madhu|chapter=Probabilistic verification of proofs|title=Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. III|year=1998|pages=461–470|chapter-url=https://www.elibm.org/ft/10011602000}}</ref> He is a Fellow of the ACM (2008).<ref>[http://people.csail.mit.edu/madhu/bio.txt Biography]</ref> In 2012 he became a fellow of the American Mathematical Society.<ref>[https://www.ams.org/profession/fellows-list List of Fellows of the American Mathematical Society], retrieved 2013-08-05.</ref> In 2014 he won the Infosys Prize in the mathematical sciences.<ref name="infosys">[http://www.infosys-science-foundation.com/prize/laureates/2014/madhu-sudan.asp Madhu Sudan], Infosys Prize Laureates, retrieved 2015-02-28.</ref>
In 2017 he was elected to the National Academy of Sciences.<ref>[http://www.nasonline.org/news-and-multimedia/news/may-2-2017-NAS-Election.html National Academy of Sciences Members and Foreign Associates Elected], National Academy of Sciences, 2 May 2017.</ref>
In 2017 he was elected to the National Academy of Sciences.<ref>[http://www.nasonline.org/news-and-multimedia/news/may-2-2017-NAS-Election.html National Academy of Sciences Members and Foreign Associates Elected], National Academy of Sciences, 2 May 2017.</ref>
In 2021, he was awarded the IEEE Richard W. Hamming Medal for 2022.<ref>{{Cite web |title=IEEE RICHARD W. HAMMING MEDAL RECIPIENTS |url=https://www.ieee.org/content/dam/ieee-org/ieee/web/org/about/awards/recipients/hamming-rl.pdf |website=IEEE}}</ref>
In 2021, he was awarded the IEEE Richard W. Hamming Medal for 2022.<ref>{{Cite web |title=IEEE RICHARD W. HAMMING MEDAL RECIPIENTS |url=https://www.ieee.org/content/dam/ieee-org/ieee/web/org/about/awards/recipients/hamming-rl.pdf |archive-url=https://web.archive.org/web/20211216193823/https://www.ieee.org/content/dam/ieee-org/ieee/web/org/about/awards/recipients/hamming-rl.pdf |url-status=dead |archive-date=16 December 2021 |website=IEEE}}</ref>


Sudan has made important contributions to several areas of theoretical computer science, including probabilistically checkable proofs, non-approximability of optimization problems, [[Guruswami–Sudan list decoding algorithm|list decoding]], and error-correcting codes.<ref name="infosys"/>
Sudan has made important contributions to several areas of theoretical computer science, including probabilistically checkable proofs, non-approximability of optimization problems, [[Guruswami–Sudan list decoding algorithm|list decoding]], and error-correcting codes.<ref name="infosys"/>
Line 63: Line 62:
{{Gödel winners}}
{{Gödel winners}}
{{Nevanlinna Prize winners}}
{{Nevanlinna Prize winners}}
 
{{Richard W. Hamming Medal recipients}}


{{DEFAULTSORT:Sudan, Madhu}}
{{DEFAULTSORT:Sudan, Madhu}}

Latest revision as of 00:04, 6 September 2025

Madhu Sudan
Madhu Sudan Oberwolfach 2015.jpg
Sudan at Oberwolfach in 2015
Born (1966-09-12) 12 September 1966 (age 59)
Madras, India[1]
EducationIIT Delhi (BTech)
University of California, Berkeley (PhD)
Awards
Gödel Prize (2001)
Scientific career
ThesisEfficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems (1992)
Doctoral advisorUmesh Vazirani
Doctoral studentsVenkatesan Guruswami
Benjamin Rossman
Ryan O'Donnell

Madhu Sudan (born 12 September 1966)[1] is an Indian-American computer scientist. He has been a Gordon McKay Professor of Computer Science at the Harvard John A. Paulson School of Engineering and Applied Sciences since 2015.

Career

He received his bachelor's degree in computer science from IIT Delhi in 1987[1] and his doctoral degree in computer science at the University of California, Berkeley in 1992.[1][2] 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.[1] From 2009 to 2015 he was a permanent researcher at Microsoft Research New England before joining the Harvard University faculty in 2015.[3]

Research contribution and awards

In 1998, he received the Sloan Research Fellowship.[4] 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.[1] 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.[5] He is a Fellow of the ACM (2008).[6] In 2012 he became a fellow of the American Mathematical Society.[7] In 2014 he won the Infosys Prize in the mathematical sciences.[8] In 2017 he was elected to the National Academy of Sciences.[9] In 2021, he was awarded the IEEE Richard W. Hamming Medal for 2022.[10]

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.[8]

References

External links