Ph.D. candidate in the Nijmegen Quantum Logic Group of Bart Jacobs.
work in progress supervised by Bart Jacobs [ github ]
Includes an introduction to the theory of C*-algebras and von Neumann algebras.
published [ arxiv · preprint ]
A simplification and slight extension of Statman's Hierarchy Theorem.
submitted [ arxiv ]
Featuring the metric completeness of of ω-complete effect modules.
published [ arxiv · preprint ]
We give a universal property for Paschke's (and Stinespring's) dilation.
published [ arxiv · preprint ]
We axiomatise the sequential product on von Neumann algebras.
unpublished [ arxiv · preprint · extended abstract ]
We interpret Selinger and Valiron's quantum lambda calculus in the category of completely positive normal subunital maps between von Neumann algebras, and prove that the interpretation is adequate with respect to operational semantics.
unpublished [ preprint ]
We describe the free commutative monoid on the category of von Neumann algebras
done [ arXiv ]
What would happen if one replaced subobjects S↣X by predicates X→1+1?
published [ arxiv · preprint · video · slides ]
A universal property for A ↦ √B A √B appears in a chain of adjunctions.
published [ preprint · slides ]
The step from probability measure to integral gets a universal property with the aid of ω-complete effect algebras and ω-complete effect modules.
unpublished [ preprint ]
A universal property for A ↦ √B A √B appears in a chain of adjunctions.
published [ arxiv · preprint ]
The category of positive unital linear maps between C*-algebras is the Kleisli category of a comonad on the subcategory of unital *-homomorphisms between C*-algebras.
published [ preprint · slides ]
Convex sets appear as state spaces of computation in an effectus, and form an effectus.
Our take on when an adjunction can be lifted to coalgebras, with many examples.
published [ preprint · slides ]
Study of a generalisation of the removal of ε-transitions from a non-deterministic automaton.
done supervised by prof. A.C.M. van Rooij [ pdf ]
Simultaneous study of measure and integral using lattices and uniform spaces.