documents
Academic CV, Jan 2025
Industry résumé, Jan 2025
reports
The temporal Heyting calculus, MSc Logic thesis, 2024
The Dedekind-MacNeille completion, MSc Logic project, 2023
slides
The temporal Heyting calculus, MSc Logic thesis, 2024
The Dedekind-MacNeille completion, MSc Logic project, 2023
The hyperreals & nonstandard analysis, Directed Reading Program, 2019