Ancillary activities
- Editor | Stanford Encyclopedia of Philosophy | Not remunerated
- Member | Board | Arend Heyting Foundation | Not remunerated
- Member | Core Initiation Committee of the Proof Society | Not remunerated
- Editor | Journal of Philosophical Logic | Remunerated (Personal)
- Editor | ASL book series Perspectives in Logic | Not remunerated
- Member | Board | Vereniging voor Logica | Not remunerated