<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><div>This is an announcement of Bhakti Shah's MS Presentation</div><div><br></div><div>===============================================</div><div><br></div><div>Candidate: Bhakti Shah</div><div><br></div><div>Date: Friday, May 17, 2024</div><div><br></div><div>Time: 2:30 pm CT</div><div><br></div><div>Location: JCL 390</div><div><br></div><div>Title: <font color="#000000"><span style="caret-color: rgb(0, 0, 0);">Proof Visualization for Graphical Languages </span></font></div><div><br></div><div>Abstract: <font color="#000000"><span style="caret-color: rgb(0, 0, 0);">Reasoning about graphical languages in a proof assistant can be hard. Canonical diagrammatic representations are optimized for readability, and may abstract away details irrelevant to a pen-and-paper proof, but these details are often important to a proof assistant. We develop a methodology for working with graphical languages associated with classes of categories, and equip it with an automated visualizer integrated with the Coq proof assistant, enabling diagrammatic reasoning. We instantiate this with the ZX-calculus, a language for quantum computation, as an example of specialized diagrammatic reasoning.</span></font></div><div><br></div><div>Advisors: <font color="#000000"><span style="caret-color: rgb(0, 0, 0);">Robert Rand </span></font></div><div><br></div><div>Committee Members: <font color="#000000"><span style="caret-color: rgb(0, 0, 0);">Robert Rand, Stuart Kurtz, John Reppy</span></font></div></div><div><br></div><br class="Apple-interchange-newline" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><div>
<div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><div><font color="#610003" face="Avenir Next"><b>Jessica Garza</b></font><br><font face="Avenir-Book">Assistant Director of Undergraduate Studies</font><br><font face="Avenir-Book">Department of Computer Science</font></div><div><font face="Avenir-Book">The University of Chicago</font></div><div><font face="Avenir-Book">John Crerar Library 374</font></div><div><font face="Avenir-Book">Office: (773) 702-2336</font></div></div></div></div></div>
</div>
<br></body></html>