stringtranslate.com

John Watrous (informático)

John Harrison Watrous es el Director Técnico de IBM Quantum Education en IBM y fue profesor de informática en la Escuela de Informática 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 Instituto Canadiense de Investigación Avanzada . [1] [2] Fue miembro de la facultad del 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 en 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 puede restringirse 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] Junto con Scott Aaronson , demostró que ciertas formas de viaje en el tiempo pueden hacer que la computación cuántica y clásica 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 curva temporal cerrada 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

  1. ^ de John Watrous en el sitio web del Instituto Canadiense de Investigación Avanzada .
  2. ^ John Watrous Archivado el 6 de julio de 2011 en Wayback Machine en el sitio web QuantumWorks.
  3. ^ Lista de editores de Teoría de la Computación.
  4. ^ Lista de editores de Quantum Information & Computation.
  5. ^ Lance Fortnow (29 de julio de 2009). "QIP = PSPACE". Computational Complexity . Consultado el 30 de diciembre de 2009 .
  6. ^ Dave Bacon (28 de julio de 2009). "¡Dios mío, QIP=PSPACE!". The Quantum Pontiff . Archivado desde el original el 5 de enero de 2010. Consultado el 30 de diciembre de 2009 .
  7. ^ Rahul Jainista; Zhengfeng Ji; Sarvagya Upadhyay; John Watrous (2009). "QIP = ESPACIO". arXiv : 0907.4737 [cuántico-ph].
  8. ^ Watrous, John (2003). "PSPACE tiene sistemas de prueba interactivos cuánticos de ronda constante". Theor. Comput. Sci. 292 (3). Essex, Reino Unido: Elsevier Science Publishers Ltd.: 575–588. doi : 10.1016/S0304-3975(01)00375-9 . ISSN  0304-3975.
  9. ^ Kitaev, Alexei; Watrous, John (2000). "Paralelización, amplificación y simulación temporal exponencial de sistemas de prueba interactivos cuánticos". STOC '00: Actas del trigésimo segundo simposio anual de la ACM sobre teoría de la computación . ACM. págs. 608–617. ISBN 978-1-58113-184-0.
  10. ^ Rahul Jain; Sarvagya Upadhyay; John Watrous (2009). "Las pruebas interactivas cuánticas de dos mensajes están en PSPACE". arXiv : 0905.1300 [cs.CC].
  11. ^ 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 . pp. 66–75.
  12. ^ Watrous, John (1995). "Sobre autómatas celulares cuánticos unidimensionales". Proc. 36.° Simposio anual sobre fundamentos de la ciencia informática (Milwaukee, WI, 1995) . Los Alamitos, CA: IEEE Comput. Soc. Press. págs. 528–537. doi :10.1109/SFCS.1995.492583. ISBN . 0-8186-7183-1.Señor 1619103  ..
  13. ^ Lisa Zyga (20 de noviembre de 2008). "Cómo el viaje en el tiempo podría afectar a la computación cuántica". PhysOrg . Consultado el 30 de diciembre de 2009 .
  14. ^ John Watrous en el Proyecto de Genealogía Matemática .
  15. ^ John Watrous en el directorio del Instituto de Computación Cuántica .