William Ian Gasarch (nacido en 1959 [1] ) es un americano científico informático conocido por su trabajo en la teoría de la complejidad computacional , teoría de la computabilidad , la teoría del aprendizaje computacional y la teoría de Ramsey . Actualmente es profesor en el Departamento de Ciencias de la Computación de la Universidad de Maryland con un cargo afiliado en Matemáticas.
William Ian Gasarch | |
---|---|
Nació | 1959 (61 a 62 años de edad) |
Nacionalidad | Estados Unidos |
alma mater | Universidad de Stony Brook Universidad de Harvard |
Conocido por | Computacional Teoría de la Complejidad , computabilidad Teoría , Aprendizaje Computacional Theorey , Teoría de Ramsey |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de Maryland, College Park |
Asesor de doctorado | Harry R. Lewis |
Sitio web | www http://blog.computationalcomplexity.org/ |
A partir de 2015, ha supervisado a más de 40 estudiantes de secundaria en proyectos de investigación, [ cita requerida ] incluido Jacob Lurie . Ha co-blogueado sobre complejidad computacional con Lance Fortnow desde 2007. Fue editor de reseñas de libros para ACM SIGACT NEWS de 1997 a 2015 antes de renunciar y entregar el trabajo a Fred Green, profesor de Ciencias de la Computación en la Universidad de Clark.
Educación
Gasarch recibió su doctorado en ciencias de la computación de Harvard en 1985, asesorado por Harry R. Lewis . Su tesis se tituló Técnicas teóricas de recursividad en teoría de la complejidad y combinatoria . [2] Fue contratado para un puesto de profesor titular en la Universidad de Maryland en el otoño de 1985. Fue ascendido a profesor asociado con titularidad en 1991 y a profesor titular en 1998. [ cita requerida ]
Trabaja
Gasarch cofundó (con Richard Beigel) el campo de las consultas limitadas en la teoría de la recursividad [3] y ha escrito muchos artículos en el área coronados por un libro sobre el tema en coautoría con Georgia Martin, titulado Consultas limitadas en la teoría de la recursividad . [4] Ha publicado libros como Problems with a Point , [5] un libro con una amplia visión de las matemáticas y la informática teórica del que fue coautor con Clyde Kruskal e incluye trabajos de otros profesores como David Eppstein . [6] También cofundó el subcampo de inferencia inductiva teórica de recursividad llamado Aprendizaje a través de consultas [7] con Carl Smith . Más recientemente, ha estado más involucrado con la combinatoria, en particular la teoría de Ramsey. [8] [9] [10] Ha escrito dos encuestas sobre lo que piensan los teóricos del problema P vs NP . [11] [12]
Blog
Lance Fortnow comenzó a escribir un blog sobre informática teórica con énfasis en la teoría de la complejidad en 2002. [13] Gasarch fue un blogger invitado frecuente hasta 2007, cuando se convirtió en co-blogger oficial.
Referencias
- ^ "Todavía encasillado de Dagstuhl" . Weblog de complejidad computacional . Lance Fortnow y William Gasarch . Consultado el 27 de septiembre de 2018 .
- ^ William Gasarch en el Proyecto de genealogía matemática
- ^ http://www.cs.umd.edu/~gasarch/papers/gems.pdf Gemas en el campo de consultas limitadas por William Gasarch, 2003
- ^ https://www.springer.com/us/book/9780817639662 Consultas limitadas en la teoría de la recursividad (con Georgia Martin), Birkhauser, 1999
- ^ https://www.worldscientific.com/worldscibooks/10.1142/11261 Problemas con un punto que exploran las matemáticas y la informática, 2019
- ^ https://www.worldscientific.com/doi/abs/10.1142/9789813279735_0014 Capítulo 14: ¿Es este problema demasiado difícil para una competencia de matemáticas de secundaria ?, 2019
- ^ http://www.cs.umd.edu/~gasarch/papers/lvqsur.pdf Una encuesta de inferencia inductiva con énfasis en consultas, Gasarch y Smith, 1997
- ^ Gasarch, William; Haeupler, Bernhard (2011). "Límites inferiores en los números de van der Waerden: constructivo aleatorio y determinista". Revista electrónica de combinatoria . 18 (64). arXiv : 1005.3749 . doi : 10.37236 / 551 .
- ^ Gasarch, William; Haeupler, Bernhard (2010). "Coloración de cuadrículas sin rectángulos". arXiv : 1005.3750 [ math.CO ].
- ^ Gasarch, William; Haeupler, Bernhard (2011). "Los programas de prueba terminan usando ordenaciones de pozos, teoría de Ramsey y matrices". arXiv : 1108.3347 [ math.CO ].
- ^ http://www.cs.umd.edu/~gasarch/papers/poll.pdf La encuesta de P =? NP, William Gasarch, columna invitada en la columna 36 de la teoría de la complejidad de SIGACT NEWS, 2002
- ^ http://www.cs.umd.edu/~gasarch/papers/poll2012.pdf La segunda encuesta P =? NP, William Gasarch, columna invitada en SIGACT NEWS Complexity THeory Column 74, 2012
- ^ http://blog.computationalcomplexity.org/ Weblog de complejidad computacional
enlaces externos
- Página de inicio de Gasarch