Quantum computing phd thesis

Quantum computing phd thesis

computing model. Quantum information processing is the result of using the physical reality that quantum theory tells us about for the purposes of performing tasks that were previously thought impossible or infeasible. Devices that perform quantum in-formation processing are known as quantum computers. In this book we examine The PhD Thesis Proposal is an oral exam at which the student is expected to give a brief description of the questions they propose to work on for the PhD and a summary of the main results in this area. This exam should normally be taken The PhD in Quantum Computing is a unique doctoral program designed to meet the immediate industry need for innovative researchers and practitioners. Professionals will graduate with the skills necessary to become key leaders in the advancement, expansion, and support of the this rapidly growing industry

Quantum Computing (PhD) | Capitol Technology University | Capitol Technology University

PhD Candidate: Matthew Amy Supervisor: Michele Mosca. The design and compilation of correct, efficient quantum circuits is integral to the future operation of quantum computers.

This thesis makes contributions to the problems of optimizing and verifying quantum circuits, with an emphasis on the development of formal models for such purposes. We also present software implementations of these methods, which together form a full stack of tools for the design of optimized, formally verified quantum oracles. We develop a general, efficient optimization algorithm called phase folding, which reduces the number of Rz gates without increasing any metrics by computing its phase polynomial.

This algorithm can further be combined with synthesis techniques for CNOT-dihedral operators to quantum computing phd thesis circuits with respect to particular costs. We then study the optimal synthesis problem for CNOT-dihedral operators from the perspectives of Rz and CNOT gate optimization. In the case of Rz gate optimization, we show that the optimal synthesis problem is polynomial-time equivalent to minimum-distance decoding in certain Reed-Muller codes.

For the CNOT optimization problem, we show that the optimal synthesis problem is at least as hard as a combinatorial problem related to Gray codes. From the perspective of formal verification, quantum computing phd thesis, we make two contributions. The first is the development of a novel formal model of quantum circuits with ancillary bits, along with a concrete verification algorithm. The formal model is based on the Feynman path integral, and with some syntactic sugar forms a natural specification language for quantum circuits.

Our experiments show some practical circuits with up to hundreds of qubits can be efficiently verified. Our second contribution is a formally verified, optimizing compiler for reversible circuits. The compiler is structured as a partial evaluator, allowing verification to be carried out significantly faster than previous results. Institute for Quantum Computing University of Waterloo University Avenue West Waterloo, ON, Canada N2L 3G1.

The University of Waterloo acknowledges that much of our work quantum computing phd thesis place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River.

Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Indigenous Initiatives Office. Skip to main Skip to footer. Institute for Quantum Computing. Institute for Quantum Computing home About Our people Graduate Studies Available positions Research Quantum Outreach and workshops News Events Visitor program Alum and friends Institute members.

Institute for Quantum Computing Events January. PhD Thesis Defence. Friday, January 25, — PM EST. Formal Methods in Quantum Circuit Design PhD Candidate: Matthew Amy Supervisor: Michele Mosca Oral defence in QNC B QNC - Quantum Nano Centre Bquantum computing phd thesis, Canada.

Events by date «, quantum computing phd thesis. October December 2 November 5 October 4 September 3 August 2 June 4 April 1 March 3 February 5 January 2. Events by audience Current students 4 Current undergraduate students 4 Current quantum computing phd thesis students 4 Future students 4 Future undergraduate students 2 Future graduate students 4 Faculty 4 Staff 2 Alumni 4 Parents 1 International 2.

Events by type Lecture 2 Seminar 2. Institute for quantum computing. Contact us Institute for Quantum Computing University of Waterloo University Avenue West Waterloo, ON, Canada N2L 3G1. For internal users Quatrium. University of Waterloo.

WaterlooONCanada N2L 3G1. uwaterloo social directory. Log in.

How I Became A Quantum Computing Researcher - physics, code \u0026 startups

, time: 13:59

PhD Theses of Recently Graduating Research Students

PhD thesis (in PostScript or PDF): Quantum Entanglement: Geometric Quantification and Applications to Multi-Partite States and Quantum Phase Transitions; Completed his PhD in September After postdoctoral research in the Department of Physics at the University of Illinois at Urbana-Champaign, left to become a postdoctoral researcher in the Institute for Quantum Computing The PhD in Quantum Computing is a unique doctoral program designed to meet the immediate industry need for innovative researchers and practitioners. Professionals will graduate with the skills necessary to become key leaders in the advancement, expansion, and support of the this rapidly growing industry computing model. Quantum information processing is the result of using the physical reality that quantum theory tells us about for the purposes of performing tasks that were previously thought impossible or infeasible. Devices that perform quantum in-formation processing are known as quantum computers. In this book we examine