I am currently a Topos Institute Research Associate working under Evan Patterson. Recently I finished research postdoc in the Department of Mathematics and Computer Science at Mount Allison University under Geoff Cruttwell. I am also an associate lecturer in the Mathematics Department at the University of Massachusetts-Boston.
My research is in higher category theory, specifically, double categories and their applications. I am also interested in 2-categories, toposes, and internal logic.
Here is my full CV.
Discrete Double Fibrations Theory and Applications of Categories.
Blockchain Safety in a Topos Ottawa Logic Seminar, December 2021
Discrete Double Fibrations CT20->21, September 2021
Characterizing Double Categories of Relations ACT 2021, July 2021