John Watrous

Who is John Watrous?

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.