John Watrous (informatyk)
Johna Harrisona Watrousa | |
---|---|
Alma Mater |
University of Wisconsin – Madison State University of New York w Stony Brook |
Kariera naukowa | |
Pola | Informatyka , informatyka kwantowa |
Instytucje |
University of Calgary University of Waterloo Instytut Obliczeń Kwantowych Obwód Instytut Fizyki Teoretycznej |
Doradca doktorski | Eryka Bacha |
John Harrison Watrous jest profesorem informatyki w David R. Cheriton School of Computer Science na Uniwersytecie Waterloo , członkiem Institute for Quantum Computing , członkiem stowarzyszonym Perimeter Institute for Theoretical Physics oraz członkiem kanadyjskiego Instytut Badań Zaawansowanych . W latach 2002-2006 był wykładowcą na Wydziale Informatyki Uniwersytetu Calgary, gdzie kierował Kanadyjską Katedrą Badawczą w obliczenia kwantowe .
Jest redaktorem czasopisma Theory of Computing i byłym redaktorem czasopisma Quantum Information & Computation . Jego zainteresowania badawcze obejmują informację kwantową i obliczenia kwantowe . Jest dobrze znany ze swojej pracy nad interaktywnymi dowodami kwantowymi , a kwantowy odpowiednik słynnego wyniku IP równa się PSPACE , QIP równa się PSPACE. Zostało to poprzedzone serią wyników pokazujących, że QIP można ograniczyć do 3 komunikatów, QIP jest zawarty w EXP , a dwukomunikatowa wersja QIP jest w PSPACE. Opublikował również ważne artykuły na temat kwantowych automatów skończonych i kwantowych automatów komórkowych . Wraz ze Scottem Aaronsonem wykazał, że pewne formy podróży w czasie mogą sprawić, że obliczenia kwantowe i klasyczne staną się równoważne: razem autorzy wykazali, że efekty kwantowe nie dają korzyści w obliczeniach, jeśli komputery mogą przesyłać informacje do przeszłości za pomocą zaproponowanego rodzaju zamkniętej krzywej czasopodobnej przez fizyka Davida Deutscha .
Uzyskał stopień doktora. w 1998 na Uniwersytecie Wisconsin-Madison pod kierunkiem Erica Bacha .