Matthew Di Meglio

I am a PhD student in the Laboratory for Foundations of Computer Science at the University of Edinburgh working with Chris Heunen and Perdita Stevens.

I am interested in applied category theory, especially applications of category theory to computer science. My current work relates to dagger categories and Hilbert spaces, with loose connections to quantum computing. My previous work focused on delta lenses—a category theoretic model of bidirectional transformations, and polynomial functors.