Джон Уотрус (ученый-компьютерщик)
Джон Харрисон Уотрус | |
|---|---|
 | |
| Альма-матер | Университет Висконсина-Мэдисона Государственный университет Нью-Йорка в Стоуни-Брук |
| Научная карьера | |
| Поля | Информатика , Квантовые вычисления |
| Учреждения | Университет Калгари Университет Ватерлоо Институт квантовых вычислений Институт теоретической физики «Периметр» |
| Докторантура | Эрик Бах |
Джон Харрисон Уотрус — технический директор IBM Quantum Education в IBM , профессор информатики в Школе компьютерных наук Дэвида Р. Черитона при Университете Ватерлоо , член Института квантовых вычислений , аффилированный член Института теоретической физики «Периметр» и член Канадского института перспективных исследований . [1] [2] С 2002 по 2006 год он был преподавателем кафедры компьютерных наук Университета Калгари , где возглавлял канадскую кафедру исследований в области квантовых вычислений . [1]
Он является редактором журнала Theory of Computing. [3] и бывший редактор журнала Quantum Information & Computation . [4] Его исследовательские интересы включают квантовую информацию и квантовые вычисления . Он хорошо известен своей работой над квантовыми интерактивными доказательствами и квантовым аналогом знаменитого результата IP = PSPACE : QIP = PSPACE. [5] [6] [7] Этому предшествовала серия результатов, показывающих, что QIP можно ограничить тремя сообщениями. [8] QIP содержится в EXP , [9] а версия QIP с двумя сообщениями находится в PSPACE. [10] Он также опубликовал важные статьи о квантовых конечных автоматах. [11] и квантовые клеточные автоматы . [12] Вместе со Скоттом Ааронсоном он показал, что определенные формы путешествий во времени могут сделать квантовые и классические вычисления тип замкнутой времяподобной кривой. эквивалентными: вместе авторы показали, что квантовые эффекты не дают преимуществ для вычислений, если компьютеры могут отправлять информацию в прошлое через предложенный физик Дэвид Дойч . [13]
Он получил докторскую степень. в 1998 году в Университете Висконсин-Мэдисон под руководством Эрика Баха . [14] [15]
Ссылки
[ редактировать ]- ^ Jump up to: а б Джон Уотрус на сайте Канадского института перспективных исследований .
- ^ Джон Уотрус. Архивировано 6 июля 2011 г. в Wayback Machine на веб-сайте QuantumWorks.
- ^ Список редакторов Theory of Computing .
- ^ Список редакторов журнала Quantum Information & Computation .
- ^ Лэнс Фортноу (29 июля 2009 г.). «QIP = PSPACE» . Вычислительная сложность . Проверено 30 декабря 2009 г.
- ^ Дэйв Бэкон (28 июля 2009 г.). "ОМГ QIP=PSPACE!" . Квантовый Понтифик . Архивировано из оригинала 5 января 2010 г. Проверено 30 декабря 2009 г.
- ^ Рахул Джайн; Чжэнфэн Цзи; Сарвагья Упадхьяй; Джон Уотрус (2009). «QIP = PSPACE». arXiv : 0907.4737 [ квант-ph ].
- ^ Уотрус, Джон (2003). «PSPACE имеет квантовые интерактивные системы доказательств с постоянным циклом» . Теор. Вычислить. наук. 292 (3). Эссекс, Великобритания: Elsevier Science Publishers Ltd.: 575–588. дои : 10.1016/S0304-3975(01)00375-9 . ISSN 0304-3975 .
- ^ Китаев, Алексей; Уотрус, Джон (2000). «Распараллеливание, усиление и экспоненциальное моделирование во времени квантовых интерактивных систем доказательств». STOC '00: Материалы тридцать второго ежегодного симпозиума ACM по теории вычислений . АКМ. стр. 608–617. ISBN 978-1-58113-184-0 .
- ^ Рахул Джайн; Сарвагья Упадхьяй; Джон Уотрус (2009). «Квантовые интерактивные доказательства с двумя сообщениями находятся в PSPACE». arXiv : 0905.1300 [ cs.CC ].
- ^ Кондакс, А.; Уотрус, Дж. (1997). «О мощности квантовых конечных автоматов». Материалы 38-го ежегодного симпозиума по основам информатики . стр. 66–75.
- ^ Уотрус, Джон (1995). «Об одномерных квантовых клеточных автоматах». Учеб. 36-й ежегодный симпозиум по основам информатики (Милуоки, Висконсин, 1995) . Лос Аламитос, Калифорния: IEEE Comput. Соц. Нажимать. стр. 528–537. дои : 10.1109/SFCS.1995.492583 . ISBN 0-8186-7183-1 . МР 1619103 . .
- ^ Лиза Зыга (20 ноября 2008 г.). «Как путешествия во времени могут повлиять на квантовые вычисления» . ФизОрг . Проверено 30 декабря 2009 г.
- ^ Джон Уотрус в проекте «Математическая генеалогия» .
- ^ Джон Уотрус в каталоге Института квантовых вычислений .
