[Spring] I am mentoring the semester project of Marius Furter, who is working on incorporating linear logic style reasoning into the theory of co-design.
I am interested in applied category theory, a general mathematics of open systems, interconnection, and compositional structures. Currently I am involved in projects in engineering, specifically co-design. Past research projects were related to category theory, representation theory, and symplectic & Poisson geometry.
Duality involutions on 1-categories and bicategories