Matthew Di Meglio

About

I am a postdoc in the Quantum Computation Structures group of the Laboratoire Méthodes Formelles.

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, polynomial functors and indexed categories.

Publications

    Preprints

      Talks