My research interests involve the application of general, abstract mathematical methods to the theory of quantum computation, with a specific orientation towards algebraic topology and category theory. In particular, I am currently studying non-locality and contextuality by adopting the sheaf-theoretic framework developed by Abramsky and Brandenburger, with the intention of fully characterise the topological properties of these key features of quantum mechanics. I have recently been working on methods to detect contextuality in no-signaling empirical models based on sheaf cohomology and All vs Nothing arguments.
September 2011 - July 2014
My Bachelor dissertation, entitled A Categorical Viewpoint on Pointless Topology, was completed under the supervision of Kathryn Hess-Bellwald. I worked as a teaching assistant of Kathryn Hess-Bellwald and Justin Young for the courses Topology I-II.
October 2014 - September 2015
MSc in Mathematics and Foundations of Computer Science (MFoCS), Mathematical Institute and Department of Computer Science, University of Oxford.
I wrote my Masters dissertation Detecting Contextuality: Sheaf Cohomology and All vs Nothing Arguments under the supervision of Samson Abramsky. I obtained a distinction and I was awarded the MFoCs certificate of excellence for the best overall performance in the MFoCS.
October 2016 - December 2016
October 2015 -
Minimum quantum resources for strong non−locality
Samson Abramsky‚ Rui Soares Barbosa‚ Giovanni Carù‚ Nadish de Silva‚ Kohei Kishida and Shane Mansfield
In Leibniz International Proceedings in Informatics (LIPIcs). 2017.
A complete characterization of all−versus−nothing arguments for stabilizer states
Samson Abramsky‚ Rui Soares Barbosa‚ Giovanni Carù and Simon Perdrix
In Philosophical Transactions of the Royal Society of London A: Mathematical‚ Physical and Engineering Sciences. Vol. 375. No. 2106. 2017.
On the Cohomology of Contextuality
In Electronic Proceedings in Theoretical Computer Science. Vol. 236. 2017.