Mathematics, logic, RF, graphics. Researcher at The Math Citadel.
Primary research interests: category theory, topoi, logic, homotopy theory, etc.
CV: [pdf]