Stefano Gogioso
Dr Stefano Gogioso
Room
204,
Wolfson Building,
Parks Road, Oxford OX1 3QD
United Kingdom
Interests
My main field of research lies between quantum computation, quantum cryptography and quantum foundations. I am mostly interested in problems from theoretical physics and computer science, but my methods come from an area of pure mathematics known as category theory.
Here follow some of my active lines of research:
 algebraic structures involved in the symmetries and evolution of quantum systems
 algebraic structures behind the quantum Fourier transform and other forms of quantum advantage
 nonlocality, causal structure, and their application to the security of quantum cryptographic protocols
 decoherence, thermodynamics and the quantumclassical interface
 physical methods in computational complexity theory and information theory
 categorical methods in computational linguistics and natural language processing
In the past, I have also done research in logic, computational geometry and graph theory.
I routinely teach classes for the Department and some Colleges, in the following topics: Computer Security; Computer Graphics; Computational Linguistics; Lambda Calculus and Types; Algorithms and Data Structures; Design and Analysis of Algorithms; Communication Theory.
Biography
OXFORD UNIVERSITY   Postdoctoral Researcher   2017  Present 
ORIEL COLLEGE   College Lecturer in Computer Science 
 2016  Present 
OXFORD UNIVERSITY   DPhil in Computer Science   2013  2017 
CAMBRIDGE UNIVERSITY   MASt in Mathematics (Part III)   2012  2013 
CAMBRIDGE UNIVERSITY   BA in Mathematics (Tripos)   2009  2012 
ISICT CONSORTIUM   ICT and Management   2006  2009 
UNIVERSITY OF GENOVA   MSc in Computer Science   2009  2009 
UNIVERSITY OF GENOVA   BSc in Computer Science   2006  2009 
Selected Publications

Infinite−dimensional Categorical Quantum Mechanics
Stefano Gogioso and Fabrizio Genovese
In EPTCS (QPL 2016)‚ arXiv:1605.04305‚ doi:10.4204/EPTCS.236.4. 2016.
Details about Infinite−dimensional Categorical Quantum Mechanics  BibTeX data for Infinite−dimensional Categorical Quantum Mechanics

Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem
Stefano Gogioso and Aleks Kissinger
In Quantum‚ arXiv:1701.08669. 2017.
Details about Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem  BibTeX data for Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem

Generalised Mermin−type non−locality arguments
Stefano Gogioso and William Zeng
In Logical Methods in Computer Science‚ arXiv:1702.01772. 2017.
Details about Generalised Mermin−type non−locality arguments  BibTeX data for Generalised Mermin−type non−locality arguments