WPI - Computer Science Department, MS Thesis Presentation, Charlotte Clark Homotopy Type Theory for Sewn Quilts""


Computer Science

Charlotte Clark

MS Student

WPI – Computer Science


Thursday, April 20, 2023

Time: 10:00 a.m. – 11:00 a.m.

Location: Fuller Labs 311


Advisor: Prof.Rose Bohrer
Reader: Prof. Daniel Dougherty


The higher equality structures of homotopy type theory (HoTT) lend the field to topological interpretations in visualizations. In this work, we take these interpretations to their logical extreme in the development of PieceWork, a programming language to represent sewn quilts.

We leverage several layers of equality to represent quilts as geometric shapes which can be manipulated in several ways, such as cutting into smaller shapes or sewn together to form an intricate design.