I am currently a postdoc at the University of Bologna working with Ugo Dal Lago.
Current version: Bicategorical Orthogonality Constructions for Linear Logic