Department(s):

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

Abstract:

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.