Talks
- Event structures for quantum computation.
(slides)
Oxford Advanced
Seminar on Informatic Structures (OASIS),
27 January 2017, Oxford
- Effect algebroids.
Category Theory
Seminar,
11 October 2016, Cambridge
- Cohomology of effect algebras.
(slides,
video)
Quantum Physics and Logic (QPL 2016),
10 June 2016, Glasgow
- Circles.
Mathematics PhD Colloquium,
3 March 2016, Nijmegen
- Cohomology of effect algebras.
(slides)
98th
Peripatetic Seminar on Sheaves and Logic (PSSL),
9 January 2016, Doorn
- Cohomology of effect algebras II.
Quantum Computation,
Logic, and Security (QCLS) Seminar,
30 September 2015, Nijmegen
- Cohomology of effect algebras I.
Quantum Computation,
Logic, and Security (QCLS) Seminar,
16 September 2015, Nijmegen
- States and effects on quantum groups.
Quantum Computation,
Logic, and Security (QCLS) Seminar,
17 June 2015, Nijmegen
- Duality for convex monoids.
Logic Seminar,
20 March 2015, Ottawa
- Effect algebroids II.
Logic Seminar,
13 February 2015, Ottawa
- Effect algebroids I.
Logic Seminar,
30 January 2015, Ottawa
- Effect algebras and cyclic sets.
Quantum Computation,
Logic, and Security (QCLS) Seminar,
8 October 2014, Nijmegen
- Recovering an effect algebra from its state space.
Algebraic Topology Seminar,
23 April 2014, Nijmegen
- Convex spaces.
Mathematics PhD Colloquium,
17 March 2014, Nijmegen
- Categorical characterizations of operator-valued measures.
(slides)
Quantum Physics and Logic (QPL 2013),
19 July 2013, Barcelona
- Coalgebraic quantum computation.
Coalgebra in the Netherlands (COIN),
3 June 2013, Nijmegen
- A categorical view of operator-valued measures.
Bellairs Workshop on Coalgebras,
20 March 2013, Barbados
- Coalgebraic quantum computation.
(slides)
Quantum Physics and Logic (QPL 2012),
12 October 2012, Brussels
- The ball monad and its metric trace semantics in Kleisli categories.
(slides)
Coalgebraic Methods in Computer Science (CMCS 2012),
1 April 2012, Tallinn
- Coalgebraic trace semantics for the ball monad.
(slides)
Category Theory Seminar,
1 February 2012, Nijmegen
- Obtaining the syntactic monoid via duality.
(slides)
Mathematical Logic in the Netherlands (MLNL 2011),
19 May 2011, Groningen