Skip to main content

Rui Soares Barbosa

Personal photo - Rui Soares Barbosa

Rui Miguel de Sousa Martinho Soares Barbosa

Research Assistant

Junior Research Fellow, Wolfson College

Leaving date: 31st July 2019



My interests lie on the border between Computer Science, Physics, and Mathematics. Overall, my research combines methods from theoretical computer science, sophisticated mathematical techniques, and foundations of quantum mechanics to bear on the study of quantum computation and information processing.

It aims to achieve a structural understanding of the characteristically non-classical features of quantum systems and of their potential (and limitations) as informatic or computational resources providing advantage over their classical counterparts, in order to develop systematic methods for utilising them.

In particular, my research has focussed on the study non-localilty and contextuality, phenomena that set quantum theory apart from classical physical theories. In contrast with the classical case, not all observables of a quantum system can be measured and be assigned values simultaneously. Contexts of jointly measurable observables provide multiple partial, classical perspectives on a quantum system. But while any two of these contexts fit nicely together, they cannot all be pasted consistently into a global perspective. This gap between local consistency and global inconsistency is what constitutes contextuality, a concept that can be elegantly expressed in the language of sheaf theory.


Jan 2015 –
Research Assistant in the Quantum Group
Department of Computer Science, University of Oxford
Jan 2016 –
Junior Research Fellow
Wolfson College, Oxford
Aug 2016 – Dec 2016
Simons–Berkeley Research Fellow
Programme: Logical Structures in Computation
Simons Institute for the Theory of Computing, University of California, Berkeley
Oct 2010 – Jul 2015
DPhil in Computer Science
Department of Computer Science, University of Oxford
under the supervision of Samson Abramsky and Andreas Döring.
Oct 2010 – Sep 2013: ESR fellow of the MALOA project.
Jan 2014 – Dec 2014: funded by FCT
Oct 2009 – Sep 2010
MSc in Mathematics and the Foundations of Compter Science (aka MFoCS)
Mathematical Institute and Computing Laboratory (now Dept. of Computer Science), University of Oxford
My dissertation supervisor was Andreas Döring.
Sep 2006 – Jul 2009
Licenciatura (BSc) in Computer Science
Departments of Mathematics and Informatics, Universidade do Minho, Braga.
Feb 2009 – Jun 2009: Semester Erasmus programme at Center for Software Technology, Utrecht Universiteit

Selected Publications

View AllManage publications