Job title: Visiting ScholarResearch area: AlgebraResearch interests: Algorithmic category theory with applications to algebra and geometryRole: VisitorFaculty