[CS] TODAY: Bhakti Shah MS Presentation - May 17, 2024

[Devin Davis via cs]

This is a reminder of Bhakti Shah's MS Presentation

===============================================

Candidate: Bhakti Shah

Date: Friday, May 17, 2024

Time:  2:30 pm CT

Location: JCL 390

Title: Proof Visualization for Graphical Languages

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.

Advisors: Robert Rand

Committee Members: Robert Rand, Stuart Kurtz, John Reppy


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.cs.uchicago.edu/pipermail/cs/attachments/20240517/5bb2af95/attachment.html>