Research

Home Music Research GitHub CV Archives

Type Theory

• Dependent Types
• Homotopy Type Theory / Cubical Type Theory
• Algebra of Programming

Applications

• Proof Repair, with Talia Ringer, Nate Yazdani and Dan Grossman at the University of Washington
• Core Agda Specification with Andreas Abel, Jesper Cockx and Youyou Cong
• Specification of APIs and program functionality
• Music: Analysis and Synthesis
• Education, in particular tools for teachers