WPI - Computer Science Department, MS Thesis Presentation, Charlotte Clark Homotopy Type Theory for Sewn Quilts""
Department(s):
Computer ScienceCharlotte 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.