John Watrous (computer Scientist)
Get John Watrous Computer Scientist essential facts below. View
join the John Watrous Computer Scientist discussion
Add John Watrous Computer Scientist
to your PopFlock.com topic list for future reference or
this resource on social media.
John Watrous Computer Scientist
John Harrison Watrous is a professor of computer science at the David R. Cheriton School of Computer Science at the University of Waterloo, a member of the Institute for Quantum Computing, an affiliate member of the Perimeter Institute for Theoretical Physics and a Fellow of the Canadian Institute for Advanced Research.  He was a faculty member in the Department of Computer Science at the  University of Calgary from 2002 to 2006 where he held a Canada Research Chair in quantum computing. 
He is an editor of the journal
Theory of Computing and former editor for the journal  . Quantum Information & Computation His research interests include  quantum information and quantum computation. He is well known for his work on quantum interactive proofs, and the quantum analogue of the celebrated result IP equals PSPACE, QIP equals PSPACE.   This was preceded by a series of results, showing QIP can be constrained to 3 messages,  QIP is contained in  EXP, and the 2-message version of QIP is in PSPACE.  He has also published important papers on  quantum finite automata and  quantum cellular automata. With  Scott Aaronson, he showed that certain forms of time travel can make quantum and classical computation equivalent: together, the authors showed that quantum effects do not offer advantages for computation if computers can send information to the past through a type of closed timelike curve proposed by the physicist David Deutsch. 
He obtained his
Ph.D. in 1998 at the University of Wisconsin-Madison under the supervision of Eric Bach.  
^ a b
John Watrous at the Canadian Institute for Advanced Research website.
John Watrous Archived 2011-07-06 at the Wayback Machine at the QuantumWorks website.
List of editors of Theory of Computing.
List of editors of Quantum Information & Computation.
Lance Fortnow (2009-07-29). "QIP = PSPACE". Computational Complexity . Retrieved .
Dave Bacon (2009-07-28). "OMG QIP=PSPACE!". The Quantum Pontiff. Archived from the original on 2010-01-05 . Retrieved .
Rahul Jain; Zhengfeng Ji; Sarvagya Upadhyay; John Watrous (2009). "QIP = PSPACE". arXiv: [ 0907.4737 quant-ph].
Watrous, John (2003). "PSPACE has constant-round quantum interactive proof systems". Theor. Comput. Sci. Essex, UK: Elsevier Science Publishers Ltd. 292 (3): 575-588. doi: 10.1016/S0304-3975(01)00375-9. ISSN 0304-3975.
Kitaev, Alexei; Watrous, John (2000). "Parallelization, amplification, and exponential time simulation of quantum interactive proof systems". STOC '00: Proceedings of the thirty-second annual ACM symposium on Theory of computing. ACM. pp. 608-617. ISBN . 978-1-58113-184-0
Rahul Jain; Sarvagya Upadhyay; John Watrous (2009). "Two-message quantum interactive proofs are in PSPACE". arXiv: [ 0905.1300 cs.CC].
Kondacs, A.; Watrous, J. (1997). "On the power of quantum finite state automata". . pp. 66-75. Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Watrous, John (1995). "On one-dimensional quantum cellular automata". . Los Alamitos, CA: IEEE Comput. Soc. Press. pp. 528-537. Proc. 36th Annual Symposium on Foundations of Computer Science (Milwaukee, WI, 1995) doi: 10.1109/SFCS.1995.492583. ISBN . 0-8186-7183-1 MR 1619103. .
Lisa Zyga (2008-11-20). "How Time-Traveling Could Affect Quantum Computing". PhysOrg . Retrieved .
John Watrous at the Mathematics Genealogy Project.
John Watrous at the Institute for Quantum Computing directory.