Past Event•Feb 24, 2020
Robert Rand (Maryland) - How to Program Your Quantum Computer – and Get It Right
How to Program Your Quantum Computer – and Get It Right
Quantum programs are hard to write, hard to test and hard to run. In this talk, we show how techniques from programming languages, formal verification and compilation allow us to write quantum programs that are as reliable as the given hardware allows. This provides a path towards writing reliable software for quantum computers, both as we envision them in twenty years and as they exist today.
Host: Fred Chong
Robert Rand
Assistant Professor of Computer Science
I am an Assistant Professor of Computer Science, part of the Programming Languages Research Group and the Chicago Quantum Exchange. My main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation.