As of August 2025, I am a PhD student at the Computational Logic Center at the University of Iowa, advised by J. Garrett Morris. I am primarily interested in type systems, logics, functional programming, proof assistants, and mathematical foundations. Philosophically, I am also interested in the epistemological and metaphysical status of logical theories and their relation to thought and language, up to a point.
University of British Columbia, Bachelor of Computer Science, 2021.
Concordia University, Bachelor of Arts - Philosophy (With Distinction), 2016.
The Recurse Center, Spring 1 Batch, 2021.
Lighthouse Labs, Web Development Bootcamp, 2016
Covariant AI - Software Engineer. 2022-2024
University of British Columbia - Research Assistant/Open Source Developer 2019-2021
Bananatag - Software Developer. 2019-2020.
Mammoth Interactive - Software Developer. 2016
Rudolf/Truth Trees - an interface for building truth trees and checking them with the Carnap logic framework. Developed under David Gilbert at UBC and included in the Carnap digital version of forall x UBC edition.