I am interested in monads and their connection to universal algebra. My current focus is on the (non-)compositionality of monads. My favourite questions in this area are:
- No-Go theorems: which properties cause monad compositions to fail?
- Self-composition: when do monads compose with themselves?
The monads I'm studying are mostly (but not exclusively) monads on the category Set of sets and functions.
I am a TA for the following subjects in the Software Engineering Programme:
- Software Engineering Mathematics (SEM)
- Algorithmics (ALG)
- Functional Programming (FPR)
- Concurrency and Distributed Systems (CDS)
I studied Physics and Mathematics at Radboud University in Nijmegen, The Netherlands, and received a BSc. in both topics. I then studied at the University of Amsterdam, where I completed the Master of Logic. Now I am here in Oxford where I study for my DPhil in Computer Science and TA several courses of the Software Engineering Programme.
Double Dilation Double Mixing (extended abstract)
Maaike Zwart and Bob Coecke
In Bob Coecke and Aleks Kissinger, editors, Proceedings 14th International Conference on Quantum Physics and Logic‚ Nijmegen‚ The Netherlands‚ 3−7 July 2017. Vol. 266 of Electronic Proceedings in Theoretical Computer Science. Pages 133−146. Open Publishing Association. 2018.