Prof. Rose Bohrer’s Seminar Talk
Professor Rose Bohrer at Worcester Polytechnic Institute visited our group and gave a seminar talk on her work on Homotopy Type Theory for Sewn Quilts. We learned a lot about quilting and how homotopy type theory can help a programming language for quiliting.