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