### Formal Logic

My PhD thesis was an analysis of J-Y Girard's Geometry of Interaction program, via category theory & inverse semigroups.

Using tools from this program in other fields, sometimes far removed from logic or computation, is a significant theme in my work.