#1: That this is a rich planet. Therefore poverty and hunger are unworthy of it, and
since we can abolish them, we must.
#2: That we are a civilized species. Therefore none shall henceforth gain illicit
advantage by reason of the fact that we together know more than one of us can know.
-John Brunner, "The Shockwave Rider"
I am a mathematician working across category theory, homotopy theory, type theory, algebraic geometry, probability and machine learning.
Now
I am a Research Fellow at Monash University with Susan Wei
I am a Senior Mathematician at Sirius Beta
Symbolica
From August 2023 to October 2025 I served as Senior, then Principal, Scientist with Symbolica.
The researchers at Symbolica—led by John Wilmes, Bruno Gavranovic and I—put together the two-part program which won Symbolica USD 31 million in our Series A (https://venturebeat.com/ai/move-over-deep-learning-symbolicas-structured-approach-could-transform-ai). Other coverage at the n-Category Cafe.
John is now at GitHub.
Bruno is now at GLAIVE.
Before Symbolica
I was a postdoctoral researcher in Category Theory at the Centre of Australian Category Theory at Macquarie university.