Aleks Kissinger

Talks

Below is a (partial) list of some talks I've given in the past years, along with slides/videos where available.

• Scalable spider nests, 60-minute version. ZX-calculus seminar 2024 slides
• Picturing Quantum Software. Munich Quantum Software Forum 2024 slides
• State of ZX: Quantum Error Correction. ZX Seminar 2024 slides
• Scalable spider nests (...or how to graphically grok transversal non-Clifford gates). QPL 2024 slides
• Quantum Circuits: From Structure to Software. Quantum Natural Language Processing: Embracing the NISQ ERA. slides | slides (shorter) | YouTube
• Picturing (and Rewriting) Quantum Processes. 11th International School on Rewriting, Paris, 1-6 July 2019. part 1 | part 2
• A categorical semantics for causal structure. Categories Logic and Physics Scotland (CLAPS) 2017. Edinburgh. slides | YouTube
• Simplification by Rotation for Frobenius/Hopf algebras. First international workshop on string diagrams (STRING) 2017. Oxford slides
• Picturing Quantum Processes. European Summary School on Logic, Language, and Information. Toulouse 2017. slides | more slides
• Algebraic (and Diagrammatic) Structures in Quantum Theory. QuSoft Showcase, CWI Amsterdam 2016. slides
• Keynote lecture: Process Theories and Graphical Language. Biennial IQSA Conference on Quantum Structures, Leicester 2016. slides
• Tutorial: Process Theories and Graphical Language. QPL 2016. slides
• Quantum teleportation, diagrams, and the one-time pad. Radboud 2016. slides
• An Introduction to Globular. Foundational Structures in Computation and Deduction, Porto 2016. slides
• Quantum Picturalism. Quantum Foundations, London 2016. slides
• Picturing Quantum Processes. Quantum Theory, Foundations, and Technologies (QTFT). Vaxjo, Sweden 2015. slides
• Picturing Quantum Entanglement in Measurement-based Quantum Computation. Oxford 2015. slides
• Diagrammatic Reasoning and Quantum Computation. Applications of Computer Algebra (ACA), Kalamata, Greece. 2015. slides
• Picturing Even More Quantum Processes. QICS Spring School, Oxford 2014. part 2 | part 3
• New reasoning techniques for monoidal algebra. Theory Group seminar, Queen Mary 2014. slides
• Interactive Proof for Diagrammatic Languages. A Conference in Honour of Samson Abramsky, on the event of his 60th Birthday (SamsonFest). Oxford, UK 2013. slides
• Pictures of non-locality in quantum mechanics. LICS 2012. slides
• The CP*-construction: A Category of Classical and Quantum Channels. QPL, Brussels 2012. slides

Updated 19 September, 2024.