Джон Уотроус (ученый-компьютерщик) - John Watrous (computer scientist)
Джон Харрисон Уотроус | |
|---|---|
 | |
| Альма-матер |
Университет Висконсина – Мэдисонский государственный университет Нью-Йорка в Стоуни-Брук |
| Научная карьера | |
| Поля | Компьютерные науки , квантовые вычисления |
| Учреждения |
Университет Калгари, Университет Ватерлоо, Институт квантовых вычислений, периметр, Институт теоретической физики |
| Докторант | Эрик Бах |
Джон Харрисон Уотроус - профессор информатики в Школе компьютерных наук Дэвида Р. Черитона в Университете Ватерлоо , член Института квантовых вычислений , аффилированный член Института теоретической физики Периметра и научный сотрудник канадской организации. Институт перспективных исследований . С 2002 по 2006 год он был преподавателем факультета компьютерных наук Университета Калгари, где занимал кафедру канадских исследований в области квантовых вычислений .
Он редактор журнала " Теория вычислений" и бывший редактор журнала " Квантовая информация и вычисления" . Его исследовательские интересы включают квантовую информацию и квантовые вычисления . Он хорошо известен своей работой над квантовыми интерактивными доказательствами , а квантовый аналог знаменитого результата IP равен PSPACE , QIP равен PSPACE. Этому предшествовала серия результатов, показывающих, что QIP может быть ограничен до 3 сообщений, QIP содержится в EXP , а версия QIP с двумя сообщениями находится в PSPACE. Он также опубликовал важные статьи о квантовых конечных автоматах и квантовых клеточных автоматах . С Ааронсон , он показал , что определенные формы путешествий во время могут сделать квантовые и классические вычисления эквивалентны: вместе, авторы показали , что квантовые эффекты не имеют преимущества для вычисления , если компьютеры могут передавать информацию в прошлое через тип замкнутых кривой времениподобные предложенный физиком Дэвидом Дойчем .
Он получил докторскую степень. в 1998 году в Университете Висконсин-Мэдисон под руководством Эрика Баха .