CS Seminar

Title: How to Program Your Quantum Computer and Get It Right!
Seminar: Computer Science
Speaker: Robert Rand,
Contact: TBA
Date: 2020-03-24 at 10:00AM
Venue: https://emory.zoom.us/j/449253098
Download Flyer Add to Calendar
Abstract: 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.