[Colloquium] CS Seminar today at 3:30 pm in JCL 390

[Sandra Wallace]

UNIVERSITY OF CHICAGO
DEPARTMENT OF COMPUTER SCIENCE
PRESENTS




Robert Rand
University of Maryland

Monday, Feb. 24 at 3:30 pm
Crerar 390

Title:  How to program your quantum computer – and get it right

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.

Bio:
Robert Rand is a Basili Postdoctoral Fellow at the University of Maryland and the Joint Center for Quantum Information and Computer Science. His research revolves around applying techniques from programming languages and formal verification to quantum computation. His dissertation focused on QWIRE (“choir”), a quantum circuit language and verification tool that he developed jointly with Jennifer Paykin at the University of Pennsylvania. He also developed SQIR (“squire”), a small quantum intermediate representation for compiling and optimizing quantum programs. His online textbook, “Verified Quantum Computing”, introduces quantum computing using the Coq proof assistant.

Host:  Fred Chong



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20200224/609c9cdb/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PastedGraphic-1.png
Type: image/png
Size: 73229 bytes
Desc: not available
URL: <http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20200224/609c9cdb/attachment-0001.png>