<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class=""><span class=""><font size="4" class=""><span class="" style="orphans: 2; widows: 2;">UNIVERSITY OF CHICAGO</span><br class="" style="orphans: 2; widows: 2;"><span class="" style="orphans: 2; widows: 2;">DEPARTMENT OF COMPUTER SCIENCE</span></font></span></div><div class="" style="orphans: 2; widows: 2;"><span class=""><font size="4" class="">PRESENTS</font></span></div><div class="" style="orphans: 2; widows: 2;"><span class="" style="font-size: 15px;"><br class=""></span></div><div class="" style="orphans: 2; widows: 2;"><span class="" style="font-size: 14px;"><br class=""></span></div><div class="" style="orphans: 2; widows: 2;"><span class="" style="font-size: 14px;"></span></div></div></div></div></div><span id="docs-internal-guid-de668218-7fff-220a-42c4-c3d01efd7aaf" class="" style="font-family: -webkit-standard;"><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"></div></span><span class="" style="font-size: 12pt; font-family: Helvetica, sans-serif;"></span></div></div></div><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"></div></div></div></div></div></div></div></div></div></div></div></div><img apple-inline="yes" id="9BA42712-342C-46A9-AAD2-4635EB0A478A" class="" width="103" height="111" src="cid:ED947904-C352-4A33-841E-21C439495E3E@cs.uchicago.edu"><br class=""><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br class=""><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><b class="" style="orphans: 2; widows: 2;"><font size="4" class=""><div class=""><b class=""><span class="" style="font-size: 12pt; font-family: "Times New Roman", serif;"></span></b></div><div class=""><b class=""><font size="4" class="">Robert Rand</font></b></div></font></b><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div class="" style="orphans: 2; widows: 2;"><div class="" style="margin: 0in 0in 0.0001pt;"><font size="4" class=""><i class="">University of Maryland</i></font></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class="" style="font-size: 14px;"><i class=""><p class="MsoNormal" align="center"><o:p class=""></o:p></p></i></span><div class=""><br class=""></div></div><div class="" style="margin: 0in 0in 0.0001pt;"><span class=""><b class=""><font class="" size="4">Monday, Feb. 24 at 3:30 pm<br class="">Crerar 390</font></b><br class=""></span></div></div><div class=""><div class="" style="text-align: center;"><font size="4" class=""><font class=""><span class=""><b class="" style="color: rgb(33, 33, 33);"><br class=""></b></span></font></font></div><div class=""><font size="4" class=""><font class=""><span class=""><b class="" style="color: rgb(33, 33, 33);">Title: </b></span></font></font><font size="4" class=""><b class="">How to program your quantum computer – and get it right</b></font></div><div class="" style="color: rgb(33, 33, 33);"><b class=""><font class="" style="font-size: 15px;"><br class=""></font></b></div><div class="" style="color: rgb(33, 33, 33);"><b class=""><font class="" size="4">Abstract:</font></b></div><div class=""><font class=""><span class=""><div class="" style="font-variant-ligatures: normal; background-color: rgb(255, 255, 255);"><div class=""><font class="" size="4"><span class=""><span id="docs-internal-guid-bf351367-7fff-5067-8c8e-0130cc54a81c" class=""><div class="" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;"><span class=""><span class=""><span class=""><span class=""><span class=""><span class="" style="white-space: pre-wrap;">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.</span><br class=""><br class=""></span></span></span></span></span></div></span></span><b class="" style="color: rgb(33, 33, 33);">Bio:</b></font></div></div></span></font></div><div class=""><div class="" style="font-variant-ligatures: normal; background-color: rgb(255, 255, 255);"><font color="#222222" size="4" class=""><span class=""><i class="">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.</i></span></font></div><div class="" style="font-variant-ligatures: normal; background-color: rgb(255, 255, 255);"><font color="#222222" class=""><font size="4" class=""><i class=""><br class=""></i></font><i class=""><b class=""><font size="4" class="">Host: Fred Chong</font></b></i></font></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></body></html>