Michael Sipser
Científico informático teórico estadounidense (nacido en 1954)
Michael Sipser
Nacido
Michael Fredric Sipser

( 17 de septiembre de 1954 )17 de septiembre de 1954 (70 años)
Brooklyn, Nueva York
NacionalidadAmericano
Alma máter
Premios
Carrera científica
Campos
InstitucionesInstituto Tecnológico de Massachusetts (MIT)
TesisEl no determinismo y el tamaño de los autómatas finitos bidireccionales  (1980)
Asesor de doctoradoManuel Blum
Estudiantes de doctorado
Sitio webmatemáticas.mit.edu/~sipser/

Michael Fredric Sipser (nacido el 17 de septiembre de 1954) es un científico informático teórico estadounidense que realizó contribuciones tempranas a la teoría de la complejidad computacional . Es profesor de matemáticas aplicadas y fue decano de ciencias en el Instituto Tecnológico de Massachusetts .

Biografía

Sipser nació y creció en Brooklyn, Nueva York, y se mudó a Oswego, Nueva York, cuando tenía 12 años. Obtuvo su licenciatura en matemáticas en la Universidad de Cornell en 1974 y su doctorado en ingeniería en la Universidad de California en Berkeley en 1980 bajo la dirección de Manuel Blum . [1] [2]

Se unió al Laboratorio de Ciencias de la Computación del MIT como investigador asociado en 1979 y luego fue miembro del personal de investigación en IBM Research en San José. En 1980, se unió a la facultad del MIT. Pasó el año académico 1985-1986 en la facultad de la Universidad de California en Berkeley y luego regresó al MIT. Desde 2004 hasta 2014, se desempeñó como jefe del departamento de Matemáticas del MIT. Fue nombrado decano interino de la Escuela de Ciencias del MIT en 2013 y decano en 2014. [3] Se desempeñó como decano hasta 2020, cuando fue sucedido por Nergis Mavalvala . [4] Es miembro de la Academia Estadounidense de Artes y Ciencias. [5] En 2015 fue elegido miembro de la Sociedad Matemática Estadounidense "por contribuciones a la teoría de la complejidad y por liderazgo y servicio a la comunidad matemática". [6] Fue elegido miembro del ACM en 2017. [7]

Carrera científica

Sipser se especializa en algoritmos y teoría de la complejidad , específicamente en códigos de corrección de errores eficientes, sistemas de prueba interactivos, aleatoriedad, computación cuántica y en el establecimiento de la dificultad computacional inherente de los problemas. Introdujo el método de restricción probabilística para probar límites inferiores superpolinómicos en la complejidad de los circuitos en un artículo conjunto con Merrick Furst y James B. Saxe . [8] Su resultado fue mejorado posteriormente para ser un límite inferior exponencial por Andrew Yao y Johan Håstad . [9]

En un teorema de desaleatorización temprano , Sipser demostró que BPP está contenido en la jerarquía polinómica , [10] posteriormente mejorado por Peter Gács y Clemens Lautemann para formar lo que ahora se conoce como el teorema de Sipser-Gács-Lautemann . Sipser también estableció una conexión entre los grafos expansores y la desaleatorización. [11] Él y su estudiante de doctorado Daniel Spielman introdujeron los códigos expansores , una aplicación de los grafos expansores. [12] Con su compañero de posgrado David Lichtenstein, Sipser demostró que Go es PSPACE difícil. [13]

En la teoría de la computación cuántica, introdujo el algoritmo adiabático junto con Edward Farhi , Jeffrey Goldstone y Samuel Gutmann. [14]

Sipser lleva mucho tiempo interesado en el problema P versus NP . En 1975, apostó una onza de oro con Leonard Adleman a que el problema se resolvería con una prueba de que P≠NP a finales del siglo XX. Sipser le envió a Adleman una moneda de oro estadounidense en 2000 porque el problema seguía (y sigue) sin resolverse. [15]

Libros notables

Sipser es el autor de Introducción a la teoría de la computación , [16] un libro de texto sobre informática teórica .

Vida personal

Sipser vive en Cambridge, Massachusetts, con su esposa, Ina, y tiene dos hijos: una hija, Rachel, que se graduó de la Universidad de Nueva York, y un hijo menor, Aaron, que se graduó del MIT. [1]

Referencias

  1. ^ ab "Michael Sipser nombrado decano de la Facultad de Ciencias". Noticias del MIT | Instituto Tecnológico de Massachusetts . 2014-06-05 . Consultado el 20 de septiembre de 2024 .
  2. ^ Michael Sipser en el Proyecto de Genealogía Matemática
  3. ^ Matemáticas del MIT | Directorio de personas Archivado el 18 de diciembre de 2008 en Wayback Machine
  4. ^ "Escuela de Ciencias | Historia del MIT" . Consultado el 25 de agosto de 2020 .
  5. ^ "Membresía". Academia Estadounidense de las Artes y las Ciencias . Consultado el 23 de septiembre de 2014 .
  6. ^ Clase 2016 de miembros de la AMS, American Mathematical Society , consultado el 16 de noviembre de 2015.
  7. ^ ACM reconoce a los becarios de 2017 por realizar contribuciones transformadoras y promover la tecnología en la era digital, Association for Computing Machinery, 11 de diciembre de 2017 , consultado el 13 de noviembre de 2017
  8. ^ Furst, Merrick; Saxe, James B .; Sipser, Michael (1984). "Paridad, circuitos y la jerarquía de tiempo polinomial". Teoría de sistemas matemáticos . 17 (1): 13–27. doi :10.1007/BF01744431. MR  0738749. S2CID  14677270.
  9. ^ "Viñeta de investigación: Problemas difíciles hasta el final | Instituto Simons para la teoría de la computación". simons.berkeley.edu . 30 de julio de 2015 . Consultado el 17 de septiembre de 2015 .
  10. ^ Sipser, Michael (1983). "Un enfoque teórico de la complejidad para la aleatoriedad". Actas del 15.º Simposio ACM sobre teoría de la computación .
  11. ^ Sipser, Michael (1986). "Expansores, aleatoriedad o tiempo versus espacio". Estructura en teoría de la complejidad: actas de la conferencia celebrada en la Universidad de California, Berkeley, del 2 al 5 de junio de 1986. Lecture Notes in Computer Science. Vol. 223. págs. 325–329. doi :10.1007/3-540-16486-3_108. ISBN 978-3-540-16486-9.
  12. ^ Sipser, Michael; Spielman, Daniel (1996). "Códigos expansores" (PDF) . IEEE Transactions on Information Theory . 42 (6): 1710–1722. doi :10.1109/18.556667.
  13. ^ Lichtenstein, David; Sipser, Michael (1 de abril de 1980). "GO es difícil en el espacio polinomial". J. ACM . 27 (2): 393–401. doi : 10.1145/322186.322201 . ISSN  0004-5411. S2CID  29498352.
  14. ^ Farhi, Edward; Goldstone, Jeffrey; Gutmann, Sam; Sipser, Michael (28 de enero de 2000). "Computación cuántica mediante evolución adiabática". arXiv : quant-ph/0001106 .
  15. ^ Pavlus, John (1 de enero de 2012). "Máquinas del infinito". Scientific American . 307 (3): 66–71. Bibcode :2012SciAm.307c..66P. doi :10.1038/scientificamerican0912-66. PMID  22928263.
  16. ^ Sipser, Michael (27 de junio de 2012). Introducción a la teoría de la computación (3.ª edición). Cengage Learning. ISBN 978-1133187790.
  • Página personal en el MIT
Obtenido de "https://es.wikipedia.org/w/index.php?title=Michael_Sipser&oldid=1246732876"