Abstract:

We shall describe recent work developing a high-level approach to quantum information and computation, from a Computer Science perspective. We shall aim to make the talk reasonably self-contained, and prior knowledge of quantum mechanics will not be assumed. Some startling new perspectives on information and computation have been opened up over the past two decades by the development of Quantum Information and Computation: taking seriously the fact that 'Information is Physical', i.e. that information processing devices are embodied as physical systems, of an ultimately quantum-mechanical nature. We shall show how methods and concepts from Computer Science can be used to recast the formalism of Quantum Mechanics itself in an elegant and conceptual form, well suited to the needs of Quantum Information; and how this can be applied very effectively to the description and analysis of quantum information protocols. This opens up the field of Quantum Information and Computation to the kind of high-level, compositional methods which have proved so important in classical Computer Science. Moreover, the formalism can be presented in a visually appealing and intuitive diagrammatic form, which lends itself to effective tool support. There are promising applications to the analysis of non-locality, multipartite entanglement and measurement-based quantum computation.

报告人简介：

Samson Abramsky 教授，英国牛津大学Wolfson学院教授，研究方向为计算机科学。他于1975年于剑桥大学获学士学位，1988年于伦敦大学获博士学位。现为英国皇家学会会员（2004-），爱丁堡皇家学会会员（2000-），以及Academia Europaea会员（1993-）。