Científico informático
Richard Ryan Williams , conocido como Ryan Williams (nacido en 1979), es un científico informático teórico estadounidense que trabaja en teoría de complejidad computacional y algoritmos .
Educación
Williams se graduó en la Escuela de Matemáticas y Ciencias de Alabama antes de recibir su licenciatura en matemáticas y ciencias de la computación de la Universidad de Cornell en 2001 [1] y su doctorado en ciencias de la computación en 2007 de la Universidad Carnegie Mellon bajo la supervisión de Manuel Blum . [2] De 2010 a 2012, fue miembro del Grupo de Teoría del Centro de Investigación Almaden de IBM . Desde el otoño de 2011 hasta el otoño de 2016, fue profesor en la Universidad de Stanford. En enero de 2017, se unió a la facultad del MIT . [3]
Investigación
Williams ha sido miembro del comité de programa del Simposio sobre teoría de la computación en 2011 y de otras conferencias. Ganó el premio Ron V. Book al mejor artículo de estudiante en la Conferencia IEEE sobre complejidad computacional en 2005 y 2007, [4] y el premio al mejor artículo de estudiante en el Coloquio internacional sobre autómatas, lenguajes y programación en 2004 de la Asociación Europea de Ciencias de la Computación Teórica . [5]
El resultado de Williams de que la clase de complejidad NEXP no está contenida en ACC 0 recibió el premio al mejor artículo en la Conferencia sobre Complejidad Computacional en 2011. [6] El teórico de la complejidad Scott Aaronson ha calificado el resultado como "uno de los más espectaculares de la década". [7] En 2024, por este trabajo Williams recibió el Premio Gödel .
Williams también ha trabajado en la complejidad computacional del k -anonimato .
Vida personal
Ryan está casado con Virginia Vassilevska Williams , también científica informática teórica.
Publicaciones seleccionadas
- Meyerson, Adam; Williams, Ryan (2004), "Sobre la complejidad del k- anonimato óptimo", Actas del vigésimo tercer simposio ACM SIGMOD-SIGACT-SIGART sobre principios de sistemas de bases de datos (PODS '04) , Nueva York, NY, EE. UU.: ACM, págs. 223-228, doi : 10.1145/1055558.1055591, ISBN 978-1581138580, Número de identificación del sujeto 6798963
- Williams, R. (2005), "Mejores límites inferiores de tiempo y espacio para SAT y problemas relacionados", Conferencia IEEE sobre complejidad computacional (CCC) , págs. 40-49
- Williams, R. (2005), "Un nuevo algoritmo para la satisfacción óptima de dos restricciones y sus implicaciones", Theoretical Computer Science , 348 (2–3): 357–365, doi : 10.1016/j.tcs.2005.09.023
- Williams, R. (2008), "Límites inferiores espacio-temporales para contar soluciones NP módulo enteros", Computational Complexity , 17 (2): 179–219, doi :10.1007/s00037-008-0248-y, S2CID 8815358
- Williams, R. (2011), "Límites inferiores de circuitos ACC no uniformes", IEEE Conference on Computational Complexity (CCC) (PDF) , pp. 115–125, CiteSeerX 10.1.1.225.8935 , doi :10.1109/CCC.2011.36, ISBN 978-1-4577-0179-5, Número de identificación del sujeto 7020039
Referencias
- ^ Curriculum vitae (PDF) , consultado el 2 de diciembre de 2017
- ^ Ryan Williams en el Proyecto de Genealogía Matemática
- ^ "Ryan Williams | Teoría de la computación del MIT CSAIL". toc.csail.mit.edu . Consultado el 18 de diciembre de 2021 .
- ^ Actas de la 20.ª Conferencia Anual IEEE sobre Complejidad Computacional (CCC'05) San José, California, 11 de junio - 15 de junio, ISBN 0-7695-2364-1 , y la 22.ª Conferencia Anual IEEE sobre Complejidad Computacional (CCC'07) San Diego, California, 13 de junio - 16 de marzo, ISBN 0-7695-2780-9 .
- ^ "Mejor artículo de estudiante del ICALP". Asociación Europea de Ciencias Informáticas Teóricas (EATCS).
- ^ Programa para CCC2011 en http://computationalcomplexity.org/
- ^ Aaronson, Scott (8 de noviembre de 2010), "El estado de los límites inferiores del circuito ahora es un poco menos humillante", MIT Technology Review.
Enlaces externos
- Página de inicio de Ryan William en el MIT
- Publicaciones de Ryan Williams indexadas por Google Scholar
- Ryan Williams en el servidor de bibliografía DBLP
