I am a researcher at BlueHalo Labs and The Math Citadel. My work revolves broadly around topics in category theory, mathematical logic, algebraic topology, and scientific computing.
CV: [pdf]
