Researcher at BlueHalo Labs and The Math Citadel. My research interests revolve broadly around category theory, logic, algebraic topology, scientific computing.
CV: [pdf]