I’m a computer scientist who studies category theory and logic. I am currently working with Elena Botoeva at the University of Kent on a monadic style calculus embedding of a query language for schemaless databases while I'm finish writting up my PhD on the foundations of graded monads under the supervision of Dominic Orchard.
Not My CV is here.
I'm also on Mastodon.
Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard. A Mixed Linear and Graded Logic: Proofs, Terms, and Models. 33rd EACSL Annual Conference on Computer Science Logic. (CSL 2025). [arxiv](https://arxiv.org/abs/2401.17199)
Victoria Vollmer, Marco Paviotti, Dominic Orchard On the 2-category of Graded Monads. Under review