Informático teórico
John Harrison Watrous es el director técnico de IBM Quantum Education en IBM y fue profesor de informática en la Escuela de Ciencias de la Computación David R. Cheriton de la Universidad de Waterloo , miembro del Instituto de Computación Cuántica , miembro afiliado de la Instituto Perimetral de Física Teórica y miembro del Instituto Canadiense de Investigación Avanzada . [1] [2] Fue miembro de la facultad en el Departamento de Ciencias de la Computación de la Universidad de Calgary de 2002 a 2006, donde ocupó una Cátedra de Investigación de Canadá en computación cuántica . [1]
Es editor de la revista Theory of Computing [3] y ex editor de la revista Quantum Information & Computation . [4] Sus intereses de investigación incluyen la información cuántica y la computación cuántica . Es bien conocido por su trabajo sobre pruebas interactivas cuánticas y el análogo cuántico del célebre resultado IP = PSPACE : QIP = PSPACE. [5] [6] [7] Esto fue precedido por una serie de resultados, que muestran que QIP se puede restringir a 3 mensajes, [8] QIP está contenido en EXP , [9] y la versión de 2 mensajes de QIP está en PSPACE . [10] También ha publicado importantes artículos sobre autómatas cuánticos finitos [11] y autómatas cuánticos celulares . [12] Con Scott Aaronson , demostró que ciertas formas de viaje en el tiempo pueden hacer que la computación clásica y cuántica sean equivalentes: juntos, los autores demostraron que los efectos cuánticos no ofrecen ventajas para la computación si las computadoras pueden enviar información al pasado a través de un tipo de circuito cerrado . Curva temporal propuesta por el físico David Deutsch . [13]
Obtuvo su doctorado. en 1998 en la Universidad de Wisconsin-Madison bajo la supervisión de Eric Bach . [14] [15]
Referencias
- ^ ab John Watrous en el sitio web del Instituto Canadiense de Investigación Avanzada .
- ^ John Watrous Archivado el 6 de julio de 2011 en Wayback Machine en el sitio web de QuantumWorks.
- ^ Lista de editores de Teoría de la Computación.
- ^ Lista de editores de Quantum Information & Computation.
- ^ Lance Fortnow (29 de julio de 2009). "QIP = ESPACIO". Complejidad computacional . Consultado el 30 de diciembre de 2009 .
- ^ Dave Bacon (28 de julio de 2009). "¡Dios mío, QIP = PSPACE!". El Pontífice Cuántico . Archivado desde el original el 5 de enero de 2010 . Consultado el 30 de diciembre de 2009 .
- ^ Rahul Jainista; Zhengfeng Ji; Sarvagya Upadhyay; John Watrous (2009). "QIP = ESPACIO". arXiv : 0907.4737 [cuántico-ph].
- ^ Watrous, John (2003). "PSPACE tiene sistemas de prueba interactivos cuánticos de ronda constante". Teor. Computadora. Ciencia. Essex, Reino Unido: Elsevier Science Publishers Ltd. 292 (3): 575–588. doi : 10.1016/S0304-3975(01)00375-9 . ISSN 0304-3975.
- ^ Kitaev, Alexei; Watrous, John (2000). "Paralelización, amplificación y simulación de tiempo exponencial de sistemas de prueba interactivos cuánticos". STOC '00: Actas del trigésimo segundo simposio anual de ACM sobre teoría de la informática . ACM. págs. 608–617. ISBN 978-1-58113-184-0.
- ^ Rahul Jainista; Sarvagya Upadhyay; John Watrous (2009). "Las pruebas interactivas cuánticas de dos mensajes están en PSPACE". arXiv : 0905.1300 [cs.CC].
- ^ Kondacs, A.; Watrous, J. (1997). "Sobre el poder de los autómatas cuánticos de estados finitos". Actas del 38º Simposio Anual sobre Fundamentos de la Informática . págs. 66–75.
- ^ Watrous, John (1995). "Sobre autómatas celulares cuánticos unidimensionales". Proc. 36º Simposio Anual sobre Fundamentos de la Informática (Milwaukee, WI, 1995) . Los Alamitos, CA: IEEE Comput. Soc. Prensa. págs. 528–537. doi :10.1109/SFCS.1995.492583. ISBN 0-8186-7183-1. SEÑOR 1619103..
- ^ Lisa Zyga (20 de noviembre de 2008). "Cómo los viajes en el tiempo podrían afectar la computación cuántica". PhysOrg . Consultado el 30 de diciembre de 2009 .
- ^ John Watrous en el Proyecto de Genealogía de Matemáticas .
- ^ John Watrous en el directorio del Instituto de Computación Cuántica .
