Madhu Sudan (nacido el 12 de septiembre de 1966) [1] es un científico informático indio-estadounidense . Ha sido profesor Gordon McKay de Ciencias de la Computación en la Escuela de Ingeniería y Ciencias Aplicadas John A. Paulson de Harvard desde 2015.
Madhu Sudán | |
---|---|
Nació | |
alma mater | IIT Delhi Universidad de California, Berkeley |
Premios | Premio Gödel (2001) Premio Nevanlinna (2002) Premio Infosys (2014) |
Carrera científica | |
Tesis | Comprobación eficiente de polinomios y pruebas y la dureza de los problemas de aproximación (1992) |
Asesor de doctorado | Umesh Virkumar Vazirani |
Estudiantes de doctorado | Venkatesan Guruswami Benjamin Rossman |
Carrera profesional
Recibió su licenciatura en ciencias de la computación de IIT Delhi en 1987 [1] y su doctorado en ciencias de la computación en la Universidad de California, Berkeley en 1992. [1] [2] Fue miembro del personal de investigación en IBM Thomas J Watson Research Center en Yorktown Heights, Nueva York de 1992 a 1997 y luego se mudó al MIT. [1] De 2009 a 2015 fue investigador permanente en Microsoft Research New England antes de unirse a la Universidad de Harvard en 2015. [ cita requerida ]
Contribución a la investigación y premios
Fue galardonado con el Premio Rolf Nevanlinna en el 24º Congreso Internacional de Matemáticos (ICM) en 2002. El premio reconoce el trabajo sobresaliente en los aspectos matemáticos de la informática. Sudan fue honrado por su trabajo en el avance de la teoría de pruebas probabilísticamente verificables —una forma de reformular una prueba matemática en lenguaje informático para verificaciones adicionales de su validez— y en el desarrollo de códigos de corrección de errores . [1] Por el mismo trabajo, recibió el Premio de Disertación Doctoral Distinguida de la ACM en 1993 y el Premio Gödel en 2001 y fue Orador Invitado de la ICM en 1998. [3] Es miembro de la ACM (2008) . [4] En 2012 se convirtió en miembro de la American Mathematical Society . [5] En 2014 ganó el premio Infosys en ciencias matemáticas. [6] En 2017 fue elegido miembro de la Academia Nacional de Ciencias . [7]
Sudán ha hecho contribuciones importantes a varias áreas de la informática teórica, incluidas las pruebas probabilísticamente verificables, la no aproximación de problemas de optimización , la decodificación de listas y los códigos de corrección de errores. [6]
Referencias
- ^ a b c d e "Madhu Sudan recibe el premio Nevanlinna" (PDF) , Gente de matemáticas, Avisos de la American Mathematical Society , 49 (10): 1266, octubre de 2002.
- ^ Madhu Sudan en el Proyecto de genealogía matemática
- ^ Sudán, Madhu (1998). "Verificación probabilística de pruebas" . Doc. Matemáticas. (Bielefeld) Extra Vol. ICM Berlín, 1998, vol. III . págs. 461–470.
- ^ Biografía
- ^ Lista de miembros de la American Mathematical Society , consultado el 5 de agosto de 2013.
- ↑ a b Madhu Sudan , Infosys Prize Laureates, consultado el 28 de febrero de 2015.
- ^ Miembros de la Academia Nacional de Ciencias y Asociados Extranjeros elegidos , Academia Nacional de Ciencias , 2 de mayo de 2017.
enlaces externos
- DBLP: Madhu Sudán
- Página de inicio de Madhu Sudan
- Biografía de la página de Microsoft Research New England