Skip to main content

Maaike Zwart

Personal photo - Maaike Zwart

Maaike Zwart

Doctoral Student

E: maaike.zwart@cs.ox.ac.uk

Room 250, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom

Interests

I am interested in monad compositions, via distributive laws or otherwise. Currently, my favourite topics in this area are:

  • Self-composition: which monads compose with themselves, and which monads do not?
  • No-go theorems: which properties prevent monad compositions from working?

The monads I'm studying are mostly (but not exclusively) monads on Set, such as Tree, List, Multiset, Powerset, finite probability distributions, and related monads.

Biography

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.

Selected Publications

View AllManage publications

Activities

Supervisors