documents
documents
Academic CV, Jun 2025
Industry résumé, Jan 2025
articles
A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras (submitted), arXiv, 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