<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:11.0pt;
mso-ligatures:none;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-US" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="color:black">This is a reminder</span><span style="font-size:12.0pt;color:#212121;mso-ligatures:none"> of Bhakti Shah's MS Presentation<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none">===============================================<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none">Candidate: Bhakti Shah<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none">Date: Friday, May 17, 2024<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none">Time: 2:30 pm CT<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none">Location: JCL 390<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none">Title: Proof Visualization for Graphical Languages <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none">Abstract: 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.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none">Advisors: Robert Rand <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;color:#212121;mso-ligatures:none">Committee Members: Robert Rand, Stuart Kurtz, John Reppy<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;mso-ligatures:none"><o:p> </o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>