Webpage of Sander Uijlen PhD student Radboud Universiteit Nijmegen Digital Security Group, Institute for Computing and Information Sciences Funded by the ERC Advanced Grant QCLS (Quantum Computation, Logic, and Security). Under the joint supervision of Bart Jacobs, Sam Staton, and Aleks Kissinger. Contact info Research topics Operator Theory and Effect Algebras Locality and (Non-) Contextuality Categorical Quantum Mechanics Diagrammatical methods

Papers

• Sander Uijlen & Bas Westerbaan. "A Kochen-Specker system has at least 21 vertices", QPL 2014. [preprint]
• Sam Staton & Sander Uijlen. "Effect Algebras, Presheaves, Non-locality and Contextuality", ICALP 2015. [preprint]
• Sam Staton & Sander Uijlen. "Effect Algebras, Presheaves, Non-locality and Contextuality", extended version. [preprint]
• Aleks Kissinger & Sander Uijlen. "Picturing Causal Structure", QPL 2016. [preprint]
• Aleks Kissinger & Sander Uijlen. "A Categorical Semantics for Causal Structure", Lics 2017. [preprint]