Madhu Sudan

Madhu Sudan (tamoul : மதுசூதன்) (Marath : मधु सुदन) (né le ) est un informaticien théorique indien, professeur d'informatique au Massachusetts Institute of Technology (MIT) et membre du MIT Computer Science and Artificial Intelligence Laboratory.

Madhu Sudan
Naissance
Chennai (Inde)
Résidence États-Unis
Domaines Informatique théorique
Institutions Microsoft Research, Massachusetts Institute of Technology
Diplôme Institut indien de technologie de Delhi
Université de Californie à Berkeley
Renommé pour Théorie des preuves corrigibles de façon probabiliste
Distinctions Prix Nevanlinna
Prix Gödel

Carrière

Il est reçoit son Bachelor en informatique de l'Institut indien de technologie de Delhi en 1987 et son doctorat en informatique de l'Université de Californie à Berkeley en 1992 (maitre de doctorat : Umesh Virkumar Vazirani). Il devient chercheur au Thomas J. Watson Research Center d'IBM à Yorktown Heights de 1992 à 1997. Il rejoint ensuite le Microsoft Research à New England en .

Recherche et récompenses

Il reçoit le Prix Nevanlinna au 24e Congrès international des mathématiciens en 2002 pour son travail sur la théorie des preuves corrigibles de façon probabiliste. Il reçoit pour le même travail le Distinguished Doctoral Dissertation Award de l'ACM en 1993 et le prix Gödel en 2001. Il devient membre de l'ACM en 2008[1].

Sudan a également fait de grandes contributions dans le domaine de la non-approximation de certains problèmes d’optimisation et sur les codes correcteurs d’erreurs. Il est aussi l'un des pionniers du test de propriété[2].

Notes et références

  1. Biography
  2. Avec l'article : (en) Ronitt Rubinfeld et Madhu Sudan, « Robust characterization of polynomials with applications to program testing », SIAM Journal on Computing, vol. 25, no 2, , p. 252-271

Voir aussi

Liens externes

  • Portail des mathématiques
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.