Background
Matthew received his B.S. in Mathematics from Haverford College in 2019, where his research interests included knot theory and homotopy type theory. His interests in computer science lie in compiler and programming language design, formal verification, and functional programming. In his spare time he likes to contribute to Agda’s cubical library, play piano, and create musical theater