About
Currently I'm a junior researcher (PhD student) with
Bart Jacobs and
Klaas Landsman
at the
Radboud University Nijmegen.
My interests range from playing the piano and Go, to
karate and
snowboarding.
Ah yes, and taking the first steps in learning Japanese.
Research
Have a look at my papers or talks. My current research interests center on:
- Categorical axiomatics for quantum theory
- Studying the recent work on dagger compact closed categories by Bob Coecke and Peter Selinger.
- Quantum logic and quantum information theory
- Reading group on quantum information theory and quantum logic, including Klaas Landsman and Bas Spitters.
- Categorical logic
- Reading group of the book `Categorical Logic and Type Theory' by Bart Jacobs.
- Computational effects
- Categorical traits of functional languages analogous to quantum programming.
Education
Last semester I assisted the following courses:
- Hilbert Spaces and Quantum Mechanics, for third year and higher mathematics and theoretical physics students.
- Security, for computing science bachelor students.
Orginisation
Last September, I organized the department `Dagje uit'. Last May, I organized the mathematical Ph.D. Day 2006.