Spontaneous Raman emission in cold atoms inside a hollow-core waveguide
Taehyun Yoon, Institute for Quantum Computing
Cold atoms confined inside hollow-core waveguides enable strong-matter interactions, thus offer a unique platform for studies of quantum and non-linear optics. We developed an experimental system that traps cesium atoms in a magneto optical trap (MOT) and loads these atoms into a hollow core photonic crystal fiber using a dipole trap at cesium magic wavelength (935 nm), which removes the AC-Stark shift of the optical transition and suppresses the inhomogeneous broadening.
Speaker: Heather Hoff
Abstract: Software is a key asset of any new business. How do you protect the results of weeks or months of hard labour? Who owns the software and how do I mange its development to ensure its inherent value is maintained? Should I use Open Source, or even contribute to Open Source? What are the benefits and how does this measure up against the risks?
Formal Methods in Quantum Circuit Design
PhD Candidate: Matthew Amy
Supervisor: Michele Mosca
Oral defence in QNC B204.
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.