I am a mathematician working across category theory, homotopy theory, type theory, algebraic geometry, probability and machine learning.

Research Fellow @ Monash University

Senior Mathematician @ Sirius Beta