John Harrison Watrous es 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 del Instituto Perimetral de Física Teórica y miembro del Canadian Instituto de Investigaciones Avanzadas . [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 en Canadá en computación cuántica . [1]
John Harrison Watrous | |
---|---|
alma mater | Universidad de Wisconsin – Universidad Estatal de Madison de Nueva York en Stony Brook |
Carrera científica | |
Campos | Ciencias de la Computación , Computación Cuántica |
Instituciones | Universidad de Calgary Universidad de Waterloo Instituto de Computación Cuántica Instituto Perimetral de Física Teórica |
Asesor de doctorado | Eric Bach |
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 información cuántica y computación cuántica . Es bien conocido por su trabajo en pruebas interactivas cuánticas , y el análogo cuántico del célebre resultado IP es igual a PSPACE , QIP es igual a 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 artículos importantes sobre autómatas finitos cuánticos [11] y autómatas celulares cuánticos . [12] Con Scott Aaronson , mostró que ciertas formas de viajar en el tiempo pueden hacer cuántica y la computación clásica equivalentes: en conjunto, los autores mostraron que los efectos cuánticos no ofrecen ventajas para el cálculo si los ordenadores pueden enviar información al pasado a través de un tipo de cerrado curva temporal propuesta por el físico David Deutsch . [13]
Obtuvo su Ph.D. en 1998 en la Universidad de Wisconsin – Madison bajo la supervisión de Eric Bach . [14] [15]
Referencias
- ^ a b John Watrous en el sitio web del Instituto Canadiense de Investigación Avanzada .
- ^ John Watrous Archivado el 6 de julio de 2011en Wayback Machine en el sitio web de QuantumWorks.
- ^ Lista de editores de Teoría de la Computación .
- ^ Lista de editores de Computación e información cuántica .
- ↑ Lance Fortnow ( 29 de julio de 2009). "QIP = PSPACE" . 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 Jain; Zhengfeng Ji; Sarvagya Upadhyay; John Watrous (2009). "QIP = PSPACE". arXiv : 0907,4737 [ quant-ph ].
- ^ Watrous, John (2003). "PSPACE tiene sistemas de prueba interactivos cuánticos de ronda constante" . Theor. Computación. Sci . 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 ACM sobre teoría de la computación . ACM. págs. 608–617. ISBN 978-1-58113-184-0.
- ^ Rahul Jain; 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 estado finito". Actas del 38º Simposio Anual sobre Fundamentos de la Ciencia de la Computación . págs. 66–75.
- ^ Watrous, John (1995). "Sobre autómatas celulares cuánticos unidimensionales". Proc. 36º Simposio Anual sobre Fundamentos de las Ciencias de la Computación (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 el viaje en el tiempo podría afectar la computación cuántica" . PhysOrg . Consultado el 30 de diciembre de 2009 .
- ^ John Watrous en el Proyecto de genealogía de las matemáticas .
- ^ John Watrous en eldirectoriodel Instituto de Computación Cuántica .