Some Quantum Group Theses

• Philip Atzemoglou. Higher-order semantics for quantum programming languages with classical control. PhD thesis, University of Oxford, 2013.

• Miriam Backens. Completeness and the ZX-calculus. PhD thesis, University of Oxford, 2015.

• Krzysztof Bar. Automated rewriting for higher categories and applications to quantum theory. PhD thesis, University of Oxford, 2016.

• Ross Duncan. Types for Quantum Computing. PhD thesis, University of Oxford, 2006.

• Bill Edwards. Non-locality in Categorical Quantum Mechanics. PhD thesis, University of Oxford, 2009.

• Brendan Fong. The Algebra of Open and Interconnected Systems. PhD thesis, University of Oxford, 2016.

• Stefano Gogioso. Categorical Quantum Dynamics. PhD thesis, University of Oxford, 2016.

• Amar Hadzihasanovic. The algebra of entanglement and the geometry of composition. PhD thesis, University of Oxford, 2017.

• Aleks Kissinger. Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing. PhD thesis, University of Oxford, 2011.

• Raymond Lal. Causal Structure in Categorical Quantum Mechanics. PhD thesis, University of Oxford, 2012.

• Alexander Merry. Reasoning with !-Graphs. PhD thesis, University of Oxford, 2013.

• Hector Miller-Bakewell. Graphical Calculi and their Conjecture Synthesis. PhD thesis, University of Oxford, 2020.

• Benjamin Musto. Quantum Latin squares and quantum functions: applications in quantum information. PhD thesis, University of Oxford, 2019.

• Kang Feng Ng. Completeness of the ZW and ZX calculi. PhD thesis, University of Oxford, 2018.

• David Quick. !-Logic. PhD thesis, University of Oxford, 2015.

• Andre Ranchin. Alternative theories in Quantum Foundations. PhD thesis, Imperial College, 2016.

• Carlo Maria Scandolo. Information-theoretic foundations of thermodynamics in general probabilistic theories. PhD thesis, University of Oxford, 2018.

• John Selby. A process theoretic triptych. PhD thesis, Imperial College, 2017.

• Sean Tull. Categorical Operational Physics. PhD thesis, University of Oxford, 2018.

• Dominic Verdon. Algebraic quantum structures for reference frame-independent quantum teleportation and pseudo-telepathy. PhD thesis, University of Oxford, 2018.

• Quanlong (Harny) Wang. Completeness of the ZX-calculus. PhD thesis, University of Oxford, 2018.

• Vladimir Nikolaev Zamdzhiev. Rewriting Context-free Families of String Diagrams. PhD thesis, University of Oxford, 2017.

• Will Zeng. The abstract structure of quantum algorithms. PhD thesis, University of Oxford, 2015.

• Fabrizio Romano Genovese. Generalised relations for compositional modes of meaning. PhD thesis, University of Oxford, 2017.

• Dimitri Kartsaklis. Compositional distributional semantics with compact closed categories and Frobenius algebras. PhD thesis, University of Oxford, 2015.

• Edward Grefenstette. Category-Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics. PhD thesis, University of Oxford, 2013.

• Chris Heunen. Categorical Quantum Models and Logics. PhD thesis, Nijmegen, 2009.

• Eric Paquette. Categorical Quantum Computation. PhD thesis, Universite de Montreal, 2008.

• Jamie Vicary. Results in Categorical Quantum Mechanics. PhD thesis, Imperial College, 2009.

• Andrei Akhvlediani. Relating Types in Categorical Universal Algebra. PhD thesis, University of Oxford, 2011.

• John-Mark A. Allen. Reality, Causality, and Quantum Theory. PhD thesis, University of Oxford, 2017.

• Ed Blakey. A Model-Independent Theory of Computational Complexity: From Patience to Precision and Beyond. PhD thesis, University of Oxford, 2010.

• Josef Bolt. Probability and nondeterminism in compositional game theory. PhD thesis, University of Oxford, 2019.

• Abhishek Dasgupta. Distributed Anytime Generic Inference in Valuation Algebras. PhD thesis, University of Oxford, 2018.

• Nadish de Silva. Contextuality and Noncommutative Geometry in Quantum Mechanics. PhD thesis, University of Oxford, 2015.

• Ciaran Lee. Bounds on computation from physical principles. PhD thesis, University of Oxford, 2016.

• Shane Mansfield. The Mathematical Structure of Non-locality and Contextuality. PhD thesis, University of Oxford, 2013.

• Yoshihiro Maruyama. Meaning and Duality - From Categorical Logic to Quantum Physics. PhD thesis, University of Oxford, 2017.

• Vaia Patta. Aspects of Categorical Physics: A category for modelling dependence relations and a generalised Entropy functor. PhD thesis, University of Oxford, 2018.

• Robin Piedeleu. Picturing Resources in Concurrency. PhD thesis, University of Oxford, 2018.

• Roman Priebe. The Regular Histories Formulation of Quantum Theory. PhD thesis, University of Oxford, 2013.

• Norihiro Yamada. Games as Mathematics of Logic and Computation. PhD thesis, University of Oxford, 2018.

• Krzysztof Bar. Design and Analysis of Quantum Protocols and Algorithms. MSc thesis, University of Oxford, 2012.

• Manav Bhushan. Simulating Quantum Processes Using Classical Structures. MSc thesis, University of Oxford, 2009.

• Giovanni de Felice. Hopf Algebras in Quantum Computation. MSc thesis, University of Oxford, 2017.

• Katriel Cohn-Gordon. Commitment Algorithms. MSc thesis, University of Oxford, 2012.

• Benjamin Frot. Implementing and Automating complex arithmetic in quantomatic. MSc thesis, University of Oxford, 2011.

• Thanasis Georgiou. Quantum operators: A classical perspective. MSc thesis, University of Oxford, 2009.

• Yiannis Hadjimichael. Discrete Models of Categorical Quantum Computational Semantics. MSc thesis, University of Oxford, 2008.

• Michael Herrmann. Models of Multipartite Entanglement. MSc thesis, University of Oxford, 2010.

• Anne Hillebrand. Quantum Protocols involving Multiparticle Entanglement and their Representations in the ZX-calculus. MSc thesis, University of Oxford, 2011.

• Martti Karvonen. Frobenius Algebras in Functor Categories. MSc thesis, University of Oxford, 2014.

• Aleks Kissinger. Graph Rewrite Systems for Classical Structures in dagger-Symmetric Monoidal Categories. MSc thesis, University of Oxford, 2008.

• Alex Lang. Trichromatic Diagrams for Understanding qubits. MSc thesis, University of Oxford, 2011.

• David Mack. Linking Form and Function. A Geometric Investigation of Multi-partite Graph States. MSc thesis, University of Oxford, 2010.

• Benjamin Musto. Exploring Quantum Teleportation through Unitary Error Bases. MSc thesis, University of Oxford, 2014.

• Nicola Pinzani. Categorical Semantics of Time Travel and Its Paradoxes. MSc thesis, University of Oxford, 2018.

• Shibdas Roy. A Compositional Characterization of Multipartite Quantum States. MSc thesis, University of Oxford, 2010.

• Christian A. Schroeder. The ZX calculus is incomplete for non-stabilizer quantum mechanics. MSc thesis, University of Oxford, 2013.

• Daniel Siebel. Completeness Results for the Graphical Language of Dagger Compact Closed Categories. MSc thesis, University of Oxford, 2012.

• Borun Shi. Towards Minimality of Clifford+T ZX-Calculus. MSc thesis, University of Oxford, 2018.

• Nathaniel Cabot Thomas. Classical Structures in Topological Quantum Computing. MSc thesis, University of Oxford, 2013.

• Matthew Varughese. Categorical Quantum Computing with Finite Fields. MSc thesis, University of Oxford, 2009.

• Daphne Wang. Quantum Causality and Higher Order Processes. MSc thesis, University of Oxford, 2019.

• Michael Wang. Understandable Proofs in Graphical Calculi. MSc thesis, University of Oxford, 2019.

• Vincent Wang. Graphical Grammar + Graphical Completion of Monoidal Categories. MSc thesis, University of Oxford, 2019.

• Linde Wester. Categorical Models for Quantum Computing. MSc thesis, University of Oxford, 2013.

• Vladimir Nikolaev Zamdzhiev. An Abstract Approach towards Quantum Secret Sharing. MSc thesis, University of Oxford, 2012.

• Fabio Massimo Zennaro. Discrimination Nets: Improvement and Extension to Bang Graphs. MSc thesis, University of Oxford, 2012.

• Yaared Al-Mehairi. Compositional Distributional Cognition. MSc thesis, University of Oxford, 2015.

• Daniela Ashoush. Categorical Models of Meaning: Accommodating for Lexical Ambiguity and Entailment. MSc thesis, University of Oxford, 2015.

• Esma Balkir. Using Density Matrices in a Compositional Distributional Model of Meaning. MSc thesis, University of Oxford, 2014.

• Desislava Bankova. Comparing Meaning in Language and Cognition: P-Hyponymy, Concept Combination, Asymmetric Similarity. MSc thesis, University of Oxford, 2015.

• Juliette Buet. W-Spiders. MSc thesis, University of Oxford, 2017.

• Marco Fernandez. Encoding Logical Words as Quantum Gates: The Higher Dimensional Case. MSc thesis, University of Oxford, 2010.

• Ignacio Funke. The Span Construction. Interpretations and Applications. MSc thesis, University of Oxford, 2016.

• Joost Houben. A geometrically inspired category as a meaning space for natural language. The Span Construction. Interpretations and Applications. MSc thesis, University of Oxford, 2017.

• Jonathon Liu. Language as Circuits. MSc thesis, University of Oxford, 2021.

• Robin Piedeleu. Ambiguity in Categorical Models of Meaning. MSc thesis, University of Oxford, 2014.

• Benjamin Rodatz. Conversational Negation in Compositional Distributional Semantics. MSc thesis, University of Oxford, 2021.

• Alexis Toumi. Categorical Compositional Distributional Questions, Answers & Discourse Analysis. MSc thesis, University of Oxford, 2018.

• Joshua Steves. The Elements for Logic In Compositional Distributional Models of Meaning. MSc thesis, University of Oxford, 2016.

• Jiannan Zhang. A Generic Evaluation of a Categorical Compositional-distributional Model of Meaning. MSc thesis, University of Oxford, 2014.

• Katherine A. Casey. A Higher Categories Approach for Stochastic Modelling of Biological Processes. MSc thesis, University of Oxford, 2015.

• Martin Churchill. Abstract Semantics for a Simple Quantum Programming Language. MSc thesis, University of Oxford, 2007.

• Lawrence H. Dunn III. Profunctor Semantics for Linear Logic. MSc thesis, University of Oxford, 2015.

• Richard East. The Thermodynamic Limit in the Resource-Theoretic Framework. MSc thesis, University of Oxford, 2017.

• Brendan Fong. Causal Theories: A Categorical Perspective on Bayesian Networks. MSc thesis, University of Oxford, 2012.

• Robert Furber. Quantum Entanglement and Algebraic Group Actions. MSc thesis, University of Oxford, 2011.

• Kate LaHorgue. Combinatorial Structures and Lambda Calculi. MSc thesis, University of Oxford, 2018.

• Dan Marsden. Comparing Intuitionistic Quantum Logics. MSc thesis, University of Oxford, 2010.

• William Simmons. A Programming Language for Higher-Order Quantum Computation with Indefinite Causal Order. MSc thesis, University of Oxford, 2018.

• Iskren Vankov. A computational model for quantum information processing with indefinite causal order. MSc thesis, University of Oxford, 2018.

• John van de Wetering. Ordering information on distributions. MSc thesis, University of Oxford, 2016.

• Nicolas K\"ocher. A Cognition-Based Model of Text Meaning. DMM project, University of Oxford, 2019.

• Francisco Marmolejo. Teenage Mutant Ninja Turtles, University of Oxford, 2016.

• Nicola Pinzani. A Metaphysical Composition. DMM project, University of Oxford, 2018.

• Irene Rizzo. A Tale of Deals, No Deals and Baked Beans. DMM project, University of Oxford, 2019.

• Mario Roman. Semantical, grammatical, and moral ambiguity. DMM project, University of Oxford, 2019.

• Alexis Toumi. Oedipus Rex. DMM project, University of Oxford, 2017.

• Brian Tyrrell. Applying Distributional Compositional Categorical Models of Meaning to Language Translation. DMM project, University of Oxford, 2018.

• Daphne Wang. The Contextuality of a Text. DMM project, University of Oxford, 2019.

• Edward Ayers. Is Schroedinger's Cat Real? Exploring Quantum Bayesianism with Monoidal Categories. Part III essay, University of Cambridge, 2016.

• James Hefford. Density Hypercubes: Interference and the Phase Group. CQD MRes report, University College London, 2019.

• James Morley. Categorical quantum computing: diagrammatic reasoning for quantum algorithms. Course Report, Imperial College , 2016.

• Andre O. Ranchin. Progress in Quantum Foundations. CQD MRes report, Imperial College, 2012.

• Carlo Maria Scandolo. A generalised approach to resource theories. Diploma Thesis, University of Padova, 2013.

• John H. Selby. An Overview of Diagrammatic Notation in Physics. CQD MRes report, Imperial College, 2014.

• Augustin Vanrietvelde. Bipartite unitary supermaps and their classification. CQD MRes report, Imperial College, 2019.

• Marietta Stasinou. The ZX calculus, Non-Locality and Spekkens toy theory. CQD MRes report, University College London, 2017.

• Augustin Vanrietvelde. Bipartite unitary supermaps and their classification. CQD MRes report, Imperial College, 2019.

• Matt Wilson. Causal Structure as a Resource. CQD MRes report, University College London, 2019.