Madhu Sudan

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

Madhu Sudan ( Bridgeport , 12 septembrie 1966 ) este un om de știință în natură, indian american . Din 2015 este profesor de informatică la Harvard John A. Paulson School of Engineering and Applied Sciences. A obținut licența în informatică de la IIT Delhi în 1987 și doctoratul în informatică de la Universitatea din California , Berkeley în 1992 . A fost membru al personalului de cercetare la Centrul de Cercetare IBM Thomas J. Watson din Yorktown Heights , New York din 1992 până în 1997 și ulterior s-a mutat la MIT . Din 2009 până în 2015 a fost cercetător permanent la Microsoft Research New England înainte de a se alătura Universității Harvard în 2015 .

Contribuție la cercetare și premii

În 2002 a primit Premiul Rolf Nevanlinna la cel de-al 24-lea Congres Internațional al Matematicienilor (ICM). Premiul recunoaște munca remarcabilă în aspectele matematice ale informaticii. Sudanul a fost premiat pentru munca sa în promovarea teoriei probelor verificabile probabilistic - o modalitate de reformare a unei dovezi matematice în limbajul computerului pentru verificări ulterioare ale validității sale - și în dezvoltarea codurilor de corectare a erorilor. [1] Pentru aceeași lucrare, a primit Premiul Distinct de Doctorat al ACM în 1993 și Premiul Gödel în 2001 și a fost vorbitor invitat de ICM în 1998. [2] Este membru al ACM (2008). [3] Este membru al ACM (2008). În 2012 a devenit membru al American Mathematical Society. În 2014 a câștigat Premiul Infosys pentru matematică. În 2017 a fost ales la Academia Națională de Științe [4] . Sudanul a adus contribuții importante la mai multe domenii ale calculelor teoretice, inclusiv dovezi probabilist verificabile, non-aproximabilitate a problemelor de optimizare, decodificare listă și coduri de corectare a erorilor.

Notă

  1. ^ Madhu Sudan primește Premiul Nevanlinna ( PDF ), în Notificări ale Societății Americane de Matematică , vol. 49, nr. 10, octombrie 2002, p. 1266 ..
  2. ^ Sudan, Madhu, Verificarea probabilistică a probelor , în Doc. Math. (Bielefeld) Extra Vol. ICM Berlin, 1998, vol. III , 1998, pp. 461-470.
  3. ^ Biografie ( TXT ), la people.csail.mit.edu .
  4. ^ Membrii Academiei Naționale de Științe aleși și asociații străini aleși , Academia Națională de Științe , 2 mai 2017.
Controlul autorității VIAF (EN) 32,15468 milioane · ISNI (EN) 0000 0001 1756 8258 · LCCN (EN) n95119284 · GND (DE) 1103857258 · BNF (FR) cb135175790 (dată) · WorldCat Identities (EN) lccn-n95119284
Adus de la „ https://it.wikipedia.org/w/index.php?title=Madhu_Sudan&oldid=121099483 ”