title: Madhu Sudan
text: # Madhu Sudan
  
  Madhu Sudan (tamoul : மதுசூதன்) (Marath : मधु सुदन) (né le 12 septembre 1966) 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 juin 2009.
  
  ## 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.
  
  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é.
  
  