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 -
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.
Minimum Quantum Resources for Strong Non−Locality
Samson Abramsky‚ Rui Soares Barbosa‚ Giovanni Carù‚ Nadish de Silva‚ Kohei Kishida and Shane Mansfield
In Mark M. Wilde, editor, 12th Conference on the Theory of Quantum Computation‚ Communication and Cryptography (TQC 2017). Vol. 73 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 9:1–9:20. Dagstuhl‚ Germany. 2018. Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik.
On the Cohomology of Contextuality
In Electronic Proceedings in Theoretical Computer Science. Vol. 236. 2017.