Ryan Williams (informático)

Científico de la computación

Richard Ryan Williams , conocido como Ryan Williams (nacido en 1979), es un científico informático teórico estadounidense que trabaja en algoritmos y teoría de la complejidad computacional .

Educación

Williams se graduó de la Escuela de Matemáticas y Ciencias de Alabama antes de recibir su licenciatura en matemáticas e informática de la Universidad de Cornell en 2001 ^[1] y su doctorado en informática en 2007 de la Universidad Carnegie Mellon bajo la supervisión de Manuel Blum . ^[2] De 2010 a 2012, fue miembro del Grupo Teórico del IBM Almaden Research Center . Desde el otoño de 2011 hasta el otoño de 2016, fue profesor en la Universidad de Stanford. En enero de 2017 se incorporó al cuerpo docente 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 varias otras conferencias. Ganó el premio Ron V. Book al mejor trabajo estudiantil en la Conferencia IEEE sobre Complejidad Computacional en 2005 y 2007, ^[4] y el premio al mejor trabajo estudiantil en el Coloquio Internacional sobre Autómatas, Lenguajes y Programación en 2004 de la Asociación Europea para Informática Teórica . ^[5]

El resultado de Williams de que la clase de complejidad NEXP no está contenida en ACC ⁰ 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]

Williams también ha trabajado en la complejidad computacional del k -anonimato . ^[8]

Vida personal

Ryan está casado con Virginia Vassilevska Williams , también científica informática teórica.

Publicaciones Seleccionadas

• Meyerson, Adán; 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, S2CID  6798963
• Williams, R. (2005), "Mejores límites inferiores de espacio-tiempo para SAT y problemas relacionados", Conferencia IEEE sobre complejidad computacional (CCC) , págs.
• Williams, R. (2005), "Un nuevo algoritmo para la satisfacción óptima de 2 restricciones y sus implicaciones", Ciencias de la Computación Teórica , 348 (2–3): 357–365, doi : 10.1016/j.tcs.2005.09.023
• Williams, R. (2008), "Límites inferiores del espacio-tiempo para contar enteros de módulo de soluciones NP", Complejidad computacional , 17 (2): 179–219, doi :10.1007/s00037-008-0248-y, S2CID  8815358
• Williams, R. (2011), "Límites inferiores del circuito ACC no uniforme", Conferencia IEEE sobre complejidad computacional (CCC) (PDF) , págs. 115-125, CiteSeerX  10.1.1.225.8935 , doi :10.1109/CCC.2011.36 , ISBN 978-1-4577-0179-5, S2CID  7020039

Referencias

1. Currículum vitae (PDF) , consultado el 2 de diciembre de 2017
2. Ryan Williams en el Proyecto de genealogía de matemáticas
3. "Ryan Williams | Teoría de la Computación del MIT CSAIL". toc.csail.mit.edu . Consultado el 18 de diciembre de 2021 .
4. Actas de la vigésima conferencia anual IEEE sobre complejidad computacional (CCC'05) San José, CA, del 11 al 15 de junio, ISBN 0-7695-2364-1 , y la vigésima segunda conferencia anual IEEE sobre complejidad computacional (CCC'07) San Diego, California, del 13 de junio al 16 de marzo, ISBN 0-7695-2780-9 .  
5. "Mejor artículo de ICALP para estudiantes". Asociación Europea de Informática Teórica (EATCS).
6. Programa para CCC2011 en http://computationalcomplexity.org/
7. 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.
8. Meyerson y Williams (2004).

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