Advisor: Thomas Hales Education & Training Certificate in Quantitative Finance (CQF) Research Area Algebra, Combinatorics, and Geometry Research Interests Formal Verification Homotopy Theory