University of Birmingham > Talks@bham > Theoretical computer science seminar > Theoretical Computer Science in Quantum Circuit Design

## Theoretical Computer Science in Quantum Circuit DesignAdd to your list(s) Download to your calendar using vCal - Peter Hines (University of York)
- Friday 13 October 2017, 11:00-12:00
- Computer Science, The Sloman Lounge (UG).
If you have a question about this talk, please contact Paul Taylor. Also of interest in Security The end-point of this talk is the construction of a family of concrete quantum circuits, designed to perform a specific task. However, the substance of this talk is the processes which lead to this construction, rather than the construction itself. This is in order to make the case that tools from traditional theoretical computer science are relevant and applicable to the theory and practice of quantum computing. More generally, the aim is to show that theoretical abstract tools can also have very concrete applications. The tools used include category theory, domain theory, and algebraic program semantics. Background and historical context is also explored, from the perspective of both quantum computing and theoretical computer science. Given the focus of the talk, no in-depth knowledge of quantum computing will be assumed. The talk is aimed at people with an interest in theoretical computer science who are also interested in wider applications. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Computer Science, The Sloman Lounge (UG)
- Computer Security Seminars
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsGeometry and Mathematical Physics seminar Applied Topology Colloquium Computer Science Distinguished Seminar## Other talksGeometry of alternating projections in metric spaces with bounded curvature Ultrafast, all-optical, and highly efficient imaging of molecular chirality Sensing and metrology activities at NPL, India Hodge Theory: Connecting Algebra and Analysis Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Modelling uncertainty in image analysis. |