Skip to main content

Maaike Zwart

Personal photo - Maaike Zwart

Maaike Zwart

Doctoral Student
Teaching Assistant


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


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?
  • Boom Hierarchy: which monads in the Boom Hierarchy of datastructures compose with each other? 

The monads I am studying are mostly monads on the category Set of sets and functions. I intend to broaden the scope of my theories to other cateogories in a future project.


From Oct 2015 to Sept 2020, I have been the TA for the following subjects in the Software Engineering Programme:

Sadly Brexit has now made it impossible for me to continue assisting with these courses, while living abroad.


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