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 2015 -
Identifying All−vs−Nothing Arguments in Stabiliser Theory
Samson Abramsky and Giovanni Carù
On the Cohomology of Contextuality
Detecting Contextuality: Sheaf Cohomology and All vs Nothing Arguments
Master's Thesis 2015.