My main field of research lies between quantum information 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 research branches:
- structures involved in the symmetries and evolution of quantum systems
- structures behind the quantum Fourier transform and other forms of quantum advantage
- non-locality and its applications to the security of quantum cryptographic protocols
- decoherence, thermodynamics and the quantum-classical interface
- physical methods in complexity theory
- categorical methods in computational linguistics
In the past, I have also done research in logic, computational geometry and graph theory.
|OXFORD UNIVERSITY||| DPhil in Computer Science||| 2013 - Present|
|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 arXiv:1701.08669. 2017.
Generalised Mermin−type non−locality arguments
Stefano Gogioso and William Zeng
In arXiv:1702.01772. 2017.