top of page
Banner Background (1200 x 600 px) (2).png

Matthew Di Meglio

PhD Student

Research Interests:

Category Theory

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.

bottom of page