Quantum Computing

  • Horsman, Dominic
    Durham University
    I work in quantum computer science, at the intersection of computer science and physics. I look at the use of high-level logical languages based in category theory for designing and programming quantum computers, and for quantum error correction.

Published on January 29, 2018