Ben’s Site
I’m currently a PhD student in mathematics (started in May 2023) at Western University supervised by Chris Kapulkin. I graduated from the University of Toronto with an MSc in mathematics in August 2022 and from the University of Western Ontario with a BESc in Computer Engineering and a BSc with Honours Specialization in Mathematics in April 2021.
Interests
My main interests are in (homotopy) type theory and formalization of mathematics. I’m also interested in higher category theory, homotopy theory, applications of category theory, programming languages, computer architecture, and image processing.
TA
- Winter 2024: Math 1600 (UWO)
- Fall 2023: Math 2155 (UWO)
- Fall 2023: Calculus 1500 (UWO)
- Summer S 2022: Math 224 (UofT)
- Summer F 2022: Math 224 (UofT)
- F/W 2021: Math 137 (UofT)
Projects
See my cgit instance for personal programming projects.
- agda-unimath: Working towards formalizing the algebraic small object argument.
- Coq-HoTT: Formalizing Wärn’s zigzag construction in Rocq with Thomas Thorbjørnsen.
Reports
Chasing Databases: The Theoretical Evolution of Data Migration
Completed as my MSc summer project at UofT under the supervision of Yun William Yu. This report summarizes three of the major developments by Spivak et. al in categorifying relational databases and gives some justification of each new development.
Past Projects
- ABL Temporal Bone Segmentation: Plugin for 3DSlicer to automatically segment CT scans of the temporal bone.
- ABLInfer: Library and command-line tool for dispatching medical images to segmentation and registration toolkits, primarily using Docker; written for the “ABL Temporal Bone Segmentation” plugin.