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
- non-locality, causal structure, and their application to the security of quantum cryptographic protocols
- decoherence, thermodynamics and the quantum-classical 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.
|OXFORD UNIVERSITY||| Post-doctoral 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|
Infinite−dimensional Categorical Quantum Mechanics
Stefano Gogioso and Fabrizio Genovese
In EPTCS (QPL 2016)‚ arXiv:1605.04305‚ doi:10.4204/EPTCS.236.4. 2016.
Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem
Stefano Gogioso and Aleks Kissinger
In Quantum‚ arXiv:1701.08669. 2017.
Generalised Mermin−type non−locality arguments
Stefano Gogioso and William Zeng
In Logical Methods in Computer Science‚ arXiv:1702.01772. 2017.