I work for AAD as a software engineer specializing in colorimetry, which means I get to solve Poisson's equation a lot. You might know me if you do stuff with the Vulkan graphics API.

When I'm not "working", I delight in researching various problems in proof complexity and mathematical logic, as well as contributing to Lean 4's Mathlib. Recently, I've gotten involved in theoretical AI research.