존 와틀러(컴퓨터 과학자)

John Watrous (computer scientist)
존 해리슨 와트로리
Portrait of Professor John Watrous, taken in the University of Waterloo's Davis Centre in January 2019
모교위스콘신 대학교 매디슨
스토니 브룩 뉴욕 주립 대학교
과학 경력
필드컴퓨터 과학, 양자 컴퓨팅
기관캘거리 대학교
워털루 대학교
양자컴퓨팅연구소
주변 이론물리연구소
박사학위 자문위원에릭 바흐

존 해리슨 와틀리는 데이비드 R의 컴퓨터 과학 교수다. 양자컴퓨팅 연구소의 회원인 워털루 대학교의 체리톤 컴퓨터 과학 학교, 경계 이론 물리학 연구소의 제휴 회원이자 캐나다 고등 연구소의 펠로.[1][2]그는 2002년부터 2006년까지 캘거리 대학의 컴퓨터 과학 학부에서 교수로 재직하면서 양자 컴퓨팅 분야에서 캐나다 연구 강좌를 열었다.[1]

그는 '컴퓨팅[3] 이론' 저널의 편집자였고, '퀀텀 정보 & 컴퓨팅' 저널의 편집자였다.[4]그의 연구 관심사는 양자정보와 양자계산이다.그는 양자 쌍방향 증명들에 대한 그의 연구로 잘 알려져 있고, 유명한 결과 IP의 양자 아날로그는 PSPACE, QIP는 PSPACE와 같다.[5][6][7]이에 앞서 QIP가 3개의 메시지로 제한될 [8]수 있고 QIP가 EXP에 포함되며, [9]QIP의 2-메시지 버전이 PSPAC에 있음을 보여주는 일련의 결과가 뒤따랐다.[10]그는 또한 양자 유한 오토마타와[11] 양자 세포 오토마타에 관한 중요한 논문들을 발표했다.[12]스콧 아론슨과 함께, 그는 특정한 형태의 시간 여행이 양자 및 고전적인 계산을 동등하게 만들 수 있다는 것을 보여주었다: 함께, 저자들은 만약 컴퓨터가 물리학자 데이비드 도이치가 제안한 닫힌 시간 곡선을 통해 과거로 정보를 전송할 수 있다면 양자 효과가 계산에 이점을 제공하지 않는다는 것을 보여주었다.[13]

1998년 에릭 바흐의 감독 아래 위스콘신 매디슨 대학에서 박사학위를 취득했다.[14][15]

참조

  1. ^ a b John Wattily는 캐나다 고등 연구소의 웹사이트에서 일한다.
  2. ^ 퀀텀의 웨이백 머신에 2011-07-06년 보관된 존 와틀러작업 웹 사이트.
  3. ^ 컴퓨터 이론의 편집자 목록.
  4. ^ Quantum Information & Computing의 편집자 목록.
  5. ^ Lance Fortnow (2009-07-29). "QIP = PSPACE". Computational Complexity. Retrieved 2009-12-30.
  6. ^ Dave Bacon (2009-07-28). "OMG QIP=PSPACE!". The Quantum Pontiff. Archived from the original on 2010-01-05. Retrieved 2009-12-30.
  7. ^ Rahul Jain; Zhengfeng Ji; Sarvagya Upadhyay; John Watrous (2009). "QIP = PSPACE". arXiv:0907.4737 [quant-ph].
  8. ^ 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.
  9. ^ 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.
  10. ^ Rahul Jain; Sarvagya Upadhyay; John Watrous (2009). "Two-message quantum interactive proofs are in PSPACE". arXiv:0905.1300 [cs.CC].
  11. ^ Kondacs, A.; Watrous, J. (1997). "On the power of quantum finite state automata". Proceedings of the 38th Annual Symposium on Foundations of Computer Science. pp. 66–75.
  12. ^ Watrous, John (1995). "On one-dimensional quantum cellular automata". Proc. 36th Annual Symposium on Foundations of Computer Science (Milwaukee, WI, 1995). Los Alamitos, CA: IEEE Comput. Soc. Press. pp. 528–537. doi:10.1109/SFCS.1995.492583. ISBN 0-8186-7183-1. MR 1619103..
  13. ^ Lisa Zyga (2008-11-20). "How Time-Traveling Could Affect Quantum Computing". PhysOrg. Retrieved 2009-12-30.
  14. ^ 수학 계보 프로젝트에서 존 와트로스.
  15. ^ Quantum Computing 연구소(Institution for Quantum Computing) 디렉토리의 John Wattil.