Madhu Sudan

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 23 février 2020 à 18:33 et modifiée en dernier par Bot de pluie (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
Madhu Sudan
Description de l'image Madhu Sudan.jpg.

Naissance (57 ans)
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

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.

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