Curriculum Vitae
Rui Soares Barbosa
Identification
Personal identification
- Full name
- Rui Soares Barbosa
- Date of birth
- 1988/10/28
Citation names
- Barbosa, Rui Soares
- Barbosa, R S
Author identifiers
- Ciência ID
- 0817-E5E1-F22C
- ORCID iD
- 0000-0002-0465-8518
- Google Scholar ID
- JjgcE-0AAAAJ
Email addresses
- rui.soaresbarbosa@inl.int (Professional)
Addresses
- INL – International Iberian Nanotechnology Laboratory, Avenida Mestre José Veiga, 4715-330, Braga, Braga, Portugal (Professional)
Websites
- https://www.ruisoaresbarbosa.com (Scholar)
Knowledge fields
- Exact Sciences - Computer and Information Sciences - Computer Sciences
- Exact Sciences - Physical Sciences
- Exact Sciences - Mathematics
Languages
| Language | Speaking | Reading | Writing | Listening | Peer-review |
|---|---|---|---|---|---|
| Portuguese (Mother tongue) | |||||
| English | Proficiency (C2) | Proficiency (C2) | Proficiency (C2) | Proficiency (C2) | Proficiency (C2) |
| French | Elementary (A2) | Advanced (C1) | Elementary (A2) | Intermediate (B1) | Intermediate (B1) |
| Spanish; Castilian | Intermediate (B1) | Proficiency (C2) | Intermediate (B1) | Advanced (C1) | Upper intermediate (B2) |
Education
| Degree | Classification | |
|---|---|---|
|
2010/10/09 - 2015/10/19
Concluded
|
DPhil Computer Science (Doctor)
University of Oxford, United Kingdom
"Contextuality in quantum mechanics and beyond" (THESIS/DISSERTATION)
|
|
|
2009/10/09 - 2010/09
Concluded
|
MSc Mathematics and Foundations of Computer Science (Master)
University of Oxford, United Kingdom
"Interval domain(s) and Physics" (THESIS/DISSERTATION)
|
87/100 (Distinction) |
|
2006/09/01 - 2009/07/27
Concluded
|
Ciências da Computação (Computer Science) (Licenciatura)
Universidade do Minho, Portugal
|
19.2 / 20 |
Affiliation
Science
| Category Host institution |
Employer | |
|---|---|---|
| 2020/02/03 - Current | Contracted Researcher (Research) | International Iberian Nanotechnology Laboratory, Portugal |
| International Iberian Nanotechnology Laboratory, Portugal | ||
| 2019/08/01 - 2020/01/31 | Postdoc (Research) | The University of Edinburgh School of Informatics, United Kingdom |
| The University of Edinburgh School of Informatics, United Kingdom | ||
| 2015/01 - 2019/07/31 | Postdoc (Research) | University of Oxford Department of Computer Science, United Kingdom |
| 2016/08/15 - 2016/12/31 | Researcher (Research) | University of California Berkeley Simons Institute for the Theory of Computing, United States |
Teaching in Higher Education
| Category Host institution |
Employer | |
|---|---|---|
| 2023/02/13 - 2023/08/12 | Invited Assistant Professor (University Teacher) | Universidade do Minho Departamento de Informática, Portugal |
| 2018/09/03 - 2019/03/02 | Invited Assistant Professor (University Teacher) | Universidade do Minho Departamento de Informática, Portugal |
| 2017/11/13 - 2018/05/12 | Invited Assistant Professor (University Teacher) | Universidade do Minho Departamento de Informática, Portugal |
Others
| Category Host institution |
Employer | |
|---|---|---|
| 2016/01/01 - Current | Junior Research Fellowship (early-career fellowships awarded by Oxford and Cambridge colleges on the basis of research excellence) | University of Oxford Wolfson College, United Kingdom |
Projects
Grant
| Designation | Funders | |
|---|---|---|
| 2014/01 - 2014/12 | PhD Grant for 4th year of doctoral studies
SFRH/BD/94945/2013
PhD Student Fellow
University of Oxford Department of Computer Science, United Kingdom
|
Fundação para a Ciência e a Tecnologia
Concluded
|
| 2009/10 - 2010/09 | Santander Abbey Scholarship – to fund one year of Master's studies at the University
of Oxford
GAF0910_Sant_456917
Master Student Fellow
University of Oxford Mathematical Institute, United Kingdom
|
Santander Abbey Bank
Concluded
|
| 2009 - 2009 | An algebraic approach to convolutional codes (supervisor: Dr Pedro Patrício)
BII/UNI/0013/MAT/2008
UMINHO/BII/076/2009
Integration into Research Grant Fellow
Universidade do Minho Centro de Matemática, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluded
|
| 2008 - 2009 | Combinatorial algebraic topology and applications to graph decision problems and to
concurrent computing (supervisor: Dr Thomas Kahl)
New Talents in Mathematics Programme (Programa Novos Talentos em Matemática)
Scientific Initiation Fellow
|
Fundação Calouste Gulbenkian
Concluded
|
| 2007 - 2008 | Mahler’s measure (supervisor: Prof Assis Azevedo)
New Talents in Mathematics Programme (Programa Novos Talentos em Matemática)
Scientific Initiation Fellow
|
Fundação Calouste Gulbenkian
Concluded
|
Contract
| Designation | Funders | |
|---|---|---|
| 2025/02/16 - 2026/08/15 | KaleidosQope – Contextual partial views: a logical foundation for quantum computational
advantage
2023.13603.PEX
Principal investigator
International Iberian Nanotechnology Laboratory, Portugal
|
Fundação para a Ciência e a Tecnologia
Ongoing
|
| 2022/10/01 - 2026/03/31 | FoQaCiA – Foundations of Quantum Computational Advantage
Principal investigator
International Iberian Nanotechnology Laboratory, Portugal
University College London, United Kingdom Universidad de Sevilla, Spain Universidad de Granada, Spain Uniwersytet Gdanski, Poland Stockholms Universitet, Sweden Bilkent Üniversitesi, Turkey University of Ottawa, Canada The University of British Columbia, Canada Simon Fraser University, Canada University of Waterloo, Canada Leibniz Universität Hannover, Germany |
Horizon 2020 Natural Sciences and Engineering Research Council of Canada UK Research and Innovation Ongoing
|
| 2019/07/01 - 2020/01 | Combining Viewpoints in Quantum Theory (Ext.)
EP/R044759/1
Post-doc
The University of Edinburgh School of Informatics, United Kingdom
|
Engineering and Physical Sciences Research Council
Concluded
|
| 2016/04/01 - 2019/07/31 | Contextuality as a Resource in Quantum Computation
EPSRC EP/N018745/1
Post-doc
University of Oxford Department of Computer Science, United Kingdom
University College London Department of Computer Science, United Kingdom |
Engineering and Physical Sciences Research Council
Concluded
|
| 2015/07/01 - 2016/03/31 | Oxford Martin Programme on Bio-Inspired Quantum Technologies
N/A
Post-doc
Oxford Martin School, United Kingdom
University of Oxford Department of Computer Science, United Kingdom |
|
| 2015/01/01 - 2015/06/30 | Categorical Unification: where foundational physics, natural language and rational
processes meet
35740
Post-doc
University of Oxford Department of Computer Science, United Kingdom
|
John Templeton Foundation
Concluded
|
| 2010/10 - 2013/09 | Initial Training Network MALOA – From MAthematical Logic to Applications (Early Stage
Researcher)
PITN-GA-2009-238381
PhD Student Fellow
University of Oxford Department of Computer Science, United Kingdom
|
EU Framework Programme for Research and Innovation Marie Sklodowska-Curie Actions |
Outputs
Publications
| Book chapter |
|
| Conference paper |
|
| Journal article |
|
| Preprint |
|
| Thesis / Dissertation |
|
Activities
Oral presentation
| Presentation title | Event name Host (Event location) |
|
|---|---|---|
| 2025/12/15 | A refined Frauchiger–Renner paradox based on strong contextuality. | JTF Workshop on Status of the Quantum State
Institute of Quantum Studies, Chapman University (Orange, CA, United States)
|
| 2025/07/17 | Exclusivity principle, Ramsey theory, and n-cycle PR boxes | 22nd International Conference on Quantum Physics and Logic (QPL 2025)
(Varna , Bulgaria)
|
| 2025/07/14 | A refined Frauchiger–Renner paradox based on strong contextuality. | 22nd International Conference on Quantum Physics and Logic (QPL 2025)
(Varna, Bulgaria)
|
| 2024/09/04 | Contextuality in logical form: duality for transitive partial CABAs. | Edinburgh Category Theory Seminar
School of Informatics, University of Edinburgh (Edinburgh, United Kingdom)
|
| 2024/07/18 | Combining contextuality and causality: a game semantics approach | 21st International Conference on Quantum Physics and Logic (QPL 2024)
(Buenos Aires, Argentina)
|
| 2024/02/22 | Contextuality in logical form | PPLV Research Seminar (Programming Principles, Logic, and Verification group)
Department of Computer Science, University College London (London, United Kingdom)
|
| 2024/01/09 | Duality for transitive partial CABAs | Algebra, Logic, and Topology Seminar
CMUC – Centre of Mathematics, Universidade de Coimbra (Coimbra, Portugal)
|
| 2023/12/18 | Partial algebraic structures and the logic of quantum computation | ALC Meeting 2023 (Algebra, Logic, and Computation group)
Centre of Mathematics, Universidade do Minho (Braga, Portugal)
|
| 2023/12/07 | Overlap polytopes: witnessing coherence, nonlocality, and contextuality | 2nd INL–IT Quantum Computing Workshop
INL – International Iberian Nanotechnology Laboratory (Braga, Portugal)
|
| 2023/09/19 | Logic and structure at the borders of paradox | Workshop celebrating the Springer volume ‘Samson Abramsky on Logic and Structure in
Computer Science and Beyond'
Department of Computer Science, University College London (London, United Kingdom)
|
| 2023/07/20 | Inequalities witnessing coherence, nonlocality, and contextuality | 20th International Conference on Quantum Physics and Logic (QPL 2023)
(Paris, France)
|
| 2023/07/19 | Contextuality in logical form: Duality for transitive partial CABAs. | 20th International Conference on Quantum Physics and Logic (QPL 2023)
(Paris, France)
|
| 2022/12/18 | Causal contextuality and adaptive MBQC | 5th Workshop on Quantum Contextuality in Quantum Mechanics and Beyond (QCQMB 2022)
(Prague, Czech Republic)
|
| 2022/09/21 | Contextuality as a resource: simulations, adaptivity comonad, and the (partial) algebraic-logical view | Resources in Computation Workshop
University College London (London, United Kingdom)
|
| 2022/06/22 | Contextuality in logical form: Duality for transitive partial CABAs | Topology, Algebra and Categories in Logic (TACL 2022)
Universidade de Coimbra (Coimbra, Portugal)
|
| 2021/10/21 | Free transformations in the resource theory of contextuality | QCQMB colloquium series (Quantum Contextuality in Quantum Mechanics and Beyond) |
| 2021/05/27 | Contextuality in logical form: Lindenbaum–Tarski duality for transitive partial CABA | CMAT seminar (Algebra, Logic, and Computation group)
CMAT – Centre of Mathematics, Universidade do Minho (Braga, Portugal)
|
| 2021/05/17 | From Vorob'ev's theorem to monogamy of non-locality and local macroscopic averages | 4th Workshop on Quantum Contextuality in Quantum Mechanics and Beyond
(Prague (held online), Czech Republic)
|
| 2021/01/14 | Partial Boolean algebras: The logic of contextuality. | 3rd World Logic Day in Aveiro
Department of Mathematics, Universidade de Aveiro (Aveiro (held online), Portugal)
|
| 2020/07/15 | The quantum monad on relational structures: towards quantum finite model theory? | Oxford-Cambridge Resources and Co-resources Weekly Meetings
Department of Computer Science, University of Oxford (Oxford (held online), United Kingdom)
|
| 2020/06/04 | Partial Boolean algebras and the logical exclusivity principle. | 17th International Conference on Quantum Physics and Logic (QPL 2020)
Sorbonne Université and Univ Paris–Saclay (Paris (held online), France)
|
| 2019/10/15 | Acyclicity and Vorob'ev's theorem: deriving monogamy of non-locality and local macroscopic averages | LFCS Lunch
The University of Edinburgh School of Informatics – Laboratory for the Foundations
of Computer Science (Edinburgh, United Kingdom)
|
| 2019/07 | Resource theory of contextual behaviours | Workshop on Contextuality as a Resource in Quantum Computation II
University of Oxford (Oxford, United Kingdom)
|
| 2019/07 | Logic and quantum advantage | Logic and Structure in Computer science and Beyond
Lorentz Centre (Leiden, Netherlands)
|
| 2019/06/25 | A comonadic view of simulation and quantum resources | 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS 2019)
Simon Fraser University (Vancouver, Canada)
|
| 2019/06 | Simulations of quantum resources and the degrees of contextuality (Early Idea Abstract) | 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)
University College London & Imperial College Lodon (London, United Kingdom)
|
| 2019/05 | Acyclicity and Vorob'ev’s theorem | 3rd Workshop on Quantum Contextuality in Quantum Mechanics and Beyond
(Prague, Czech Republic)
|
| 2019/04 | Quantum vs classical: non-locality, contextuality, and informatic advantage | Q DAYS 2019 – QuantaLab Workshop in Quantum Computation
Universidade do Minho (Braga, Portugal)
|
| 2019/01 | A computer scientist's perspective on quantum informatics | Industry outreach talk
Checkmarx (Braga, Portugal)
|
| 2018/06 | The quantum monad: Towards quantum finite model theory | 15th International Conference on Quantum Physics and Logic (QPL 2018)
Dalhousie University (Halifax, NS, Canada)
|
| 2018/06 | Contextuality as a resource yielding quantum advantage | Seminar CAPP (Calculi, Algorithms, Programs, and Proofs)
Laboratoire d’Informatique de Grenoble (Grenoble, France)
|
| 2018/05 | Contextuality and advantage in informatic tasks | 2nd Workshop on Quantum Contextuality in Quantum Mechanics and Beyond
(Prague, Czech Republic)
|
| 2018/03 | Contextuality as a resource | Workshop on Combining Viewpoints in Quantum Theory
University of Edinburgh (Edinburgh, United Kingdom)
|
| 2017/12 | The quantum monad on relational structures | Logical Structures in Computation Reunion Workshop
Simons Institute for the Theory of Computing, UC Berkeley (Berkeley, CA, United States)
|
| 2017/11 | Resource theory of contextuality | Workshop on Quantum Correlations, Contextuality and All That
International Institute of Physics (Natal, Brazil)
|
| 2017/10 | Monads, comonads, and quantum model theory without quantum logic | Dusko@60 – a conference in honour of 60th birthday of Dusko Pavlovic
University of Oxford (Oxford, United Kingdom)
|
| 2017/09 | The quantum monad on relational structures | 17th Asian Quantum Information Science Conference (AQIS 2017)
National University of Singapore (Singapore)
|
| 2017/08 | The quantum monad on relational structures | 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS
2017)
Aalborg Universitet (Aalborg, Denmark)
|
| 2017/07 | Minimum resources for quantum contextuality | 14th International Conference on Quantum Physics and Logic (QPL 2017)
Radboud Universiteit (Nijmegen, Netherlands)
|
| 2017/06 | The contextual fraction and contextuality as a resource | 18th Växjö Conference on Quantum Foundations
Linnaeus University (Växjö, Sweden)
|
| 2017/06 | The contextual fraction and contextuality as a resource | Workshop on Quantum Contextuality in Quantum Mechanics and Beyond
(Prague, Czech Republic)
|
| 2017/04 | Career as a researcher in quantum informatics | Student outreach talk: 30 years of Computer Science degree
Department of Informatics, Universidade do Minho (Braga, Portugal)
|
| 2016/12 | Towards a resource theory of contextuality | Workshop on Compositionality
Simons Institute for the Theory of Computing, UC Berkeley (Berkeley, CA, United States)
|
| 2016/12 | Monogamy of nonlocality and macroscopic averages | Logic Lounge Seminar
Simons Institute for the Theory of Computing, UC Berkeley (Berkeley, CA, United States)
|
| 2016/06 | Quantifying contextuality via linear programming | 13th International Conference on Quantum Physics and Logic (QPL 2016)
University of Strathclyde (Glasgow, United Kingdom)
|
| 2016/06 | The contextual fraction as a measure of contextuality | Workshop on Contextuality as a Resource in Quantum Computation
University College London (London, United Kingdom)
|
| 2016/04 | Possibilities determine the structure of the no-signalling polytope | Workshop on Information and Processes (WIP 2016)
Université Paris Diderot – Paris 7 (Paris, France)
|
| 2015/11 | The sheaf-theoretic approach to non-locality and contextuality II | Workshop on Quantum Correlations, Contextuality and All That
International Institute of Physics (Natal, Brazil)
|
| 2015/02 | Monogamy of nonlocality and macroscopic averages | Quantum Dynamics Seminar
Department of Mathematics, Royal Holloway University of London (Egham, United Kingdom)
|
| 2014/10 | The support lattice and the structure of the no-signalling polytope | Workshop 10 years of Categorical Quantum Mechanics
University of Oxford (Oxford, United Kingdom)
|
| 2014/06 | On monogamy of non-locality and macroscopic averages: examples and preliminary results | 11th Workshop on Quantum Physics and Logic (QPL 2014)
Kyoto University (Kyoto, Japan)
|
| 2013/12 | A structural reason for monogamy and locality of average macroscopic behaviour | Workshop on Information and Processes (WIP 2013)
CIAPA (Tulane University) (San José, Costa Rica)
|
| 2013/09 | Information dependence and independence: from quantum mechanics to databases and back | Quantitative Analysis of Algebraic Systems (QAIS) Project Workshop
Universidade do Minho (Braga, Portugal)
|
| 2013/07 | Structural reason for monogamy | Workshop on Quantum Information and Foundations of Quantum Mechanics
University of British Columbia (Vancouver, Canada)
|
| 2013/05 | Sheaf-theoretic framework for non-locality and contextuality | Lunch Seminar of the Quantum Information Team
Télécom ParisTech (Paris, France)
|
| 2013/04 | Structural reason for monogamy and local macroscopic correlations | Postgraduate Conference on Quantum Fields, Gravity & Information
University of Nottingham (Nottingham, United Kingdom)
|
| 2013/04 | Structural reason for monogamy relations (and local realism of some macroscopic correlations) | Groupe de travail Sémantique, Laboratoire PPS
Université Paris Diderot – Paris 7 (Paris, France)
|
| 2013/03 | The logic of non-locality and quantum informatics | Physics Seminar
Department of Physics, Universidade do Minho (Braga, Portugal)
|
| 2013/02 | Structural analysis of monogamy and macroscopic correlations | Seminar on Analytic Topology in Mathematics and Computer Science
Mathematical Institute, University of Oxford (Oxford, United Kingdom)
|
| 2012/12 | Topologies on the spectral presheaf and co/contra-variant duality | First Workshop on Quantum Toposophy
Radboud Universiteit (Nijmegen, Netherlands)
|
| 2012/05 | PhD experience in quantum informatics | Student outreach talk: 25 years of Computer Science degree
Department of Informatics, Universidade do Minho (Braga, Portugal)
|
| 2011/04 | Unsharp values in the topos approach | Workshop Quantum and Classical Information Flow
Bellairs Research Institute (McGill University) (Barbados)
|
| 2010/12 | The interval domain, values of physical quantities in a topos and space-time | Seminar on Aspects of Mathematical Foundations of Physics
Mathematical Institute, University of Oxford (Oxford, United Kingdom)
|
| 2009/09 | The topology of a decision problem | Junior Seminar
Department of Pure Mathematics, Universidade do Porto (Porto, Portugal)
|
| 2008/11 | Mahler’s measure | IV Brazilian Research Initiation Symposium
IMPA – Institute for Pure & Applied Mathematics (Rio de Janeiro, Brazil)
|
| 2008/09 | Mahler’s measure | National Meeting of 'Young Talents in Mathematics' Gulbenkian Foundation programme
Universidade de Coimbra (Luso, Portugal)
|
| 2008/03 | Lehmer’s conjecture | Junior Seminar
Department of Pure Mathematics, Universidade do Porto (Porto, Portugal)
|
Supervision
| Thesis Title Role |
Degree Subject (Type) Institution / Organization |
|
|---|---|---|
| 2025 - Current | Quantum reference frame transformations in Spekkens toy theory
Supervisor of Ricardo Silva
|
MSc Mathematics and Computation (Master)
Universidade do Minho Departamento de Matemática, Portugal
|
| 2023/10/01 - Current | A categorical approach to quantum probabilistic inference
Supervisor of Nico Wittrock
|
MAP-i: Minho-Aveiro-Porto PhD Programme in Informatics (PhD)
Universidade do Minho Departamento de Informática, Portugal
International Iberian Nanotechnology Laboratory, Portugal INESC Porto, Portugal |
| 2021/02/01 - Current | Matchgate circuits with magic resources for universal quantum computation
Supervisor of Angelos Bampounis
|
MAP-PDMA: Minho-Aveiro-Porto PhD Programme in Applied Mathematics (PhD)
Universidade do Minho Departamento de Matemática, Portugal
International Iberian Nanotechnology Laboratory, Portugal Universidade do Minho Centro de Matemática, Portugal |
| 2021/02/01 - 2025/10/30 | Coherence and contextuality as quantum resources
Supervisor of Rafael Wagner
|
MAP-fis: Minho–Aveiro–Porto PhD Programme in Physics (PhD)
Universidade do Minho Departamento de Física, Portugal
International Iberian Nanotechnology Laboratory, Portugal Universidade do Minho Centro de Física, Portugal |
| 2021/03/01 - 2025/05/13 | Classical, quantum, and post-quantum aspects of Kochen–Specker contextuality scenarios
Supervisor of Raman Choudhary
|
MAP-i: Minho-Aveiro-Porto PhD Programme in Informatics (PhD)
Universidade do Minho Departamento de Informática, Portugal
International Iberian Nanotechnology Laboratory, Portugal INESC Porto, Portugal |
| 2018/10/25 - 2022/03/31 | On conditional quantum control
Co-supervisor of Daniel Almeida Carvalho
|
MSc Physics Engineering (Master)
Universidade do Minho Departamento de Informática, Portugal
Universidade do Minho Departamento de Física, Portugal |
| 2020 - 2021 | A toy programmming language for quantum walks
Supervisor of Jaime Santos
|
BII (Scientific initiation)
INESC Porto, Portugal
|
| 2020 - 2021 | Partial Boolean algebras of composite systems
Supervisor
|
BII (Scientific initiation)
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
|
| 2017/10/25 - 2018/10/15 | Towards quantum program calculation
Co-supervisor of Ana Isabel Carvalho Neri
|
MSc Physics Engineering (Master)
Universidade do Minho Departamento de Informática, Portugal
Universidade do Minho Departamento de Física, Portugal |
Event organisation
| Event name Type of event (Role) |
Institution / Organization | |
|---|---|---|
| 2020/06 - Current | QLOC seminar - series of the Quantum and Linear Optical Computation research group
at INL (https://inl.int/quantum-materials/quantum-and-linear-optical-computation/qloc-seminar/) (2020/06/25)
Seminar (Co-organisor)
|
International Iberian Nanotechnology Laboratory, Portugal |
| 2021/07/14 - 2021/07/14 | Parallel session on Mathematical structures in quantum foundations at ENSPM 2021,
the National Meeting of the Portuguese Mathematical Society.
(https://enspm2021.spm.pt/parallel-sessions-programme/#S_EN1131) (2021/07/14 - 2021/07/14)
Workshop (Co-organisor)
|
Sociedade Portuguesa de Matemática, Portugal |
| 2018/01/01 - 2019/07/31 | OASIS: Oxford Advanced Seminar in Informatic Structures – interdisciplinary seminar
series of the 'Foundations, Structures, and Quantum' research theme
(https://www.cs.ox.ac.uk/seminars/oasis/) (2018/01 - 2019/07)
Seminar (Co-organisor)
|
University of Oxford - Department of Computer Science, United Kingdom |
| 2019/07/04 - 2019/07/06 | Workshop on Contextuality as a Resource in Quantum Computation II
(https://www.cs.ox.ac.uk/conferences/contextuality/) (2019/07/04 - 2019/07/06)
Workshop (President of the Organising Committee)
|
University of Oxford - Department of Computer Science, United Kingdom |
| 2013/01 - 2019/07 | Foundations Discussions of the Wolfson Quantum Foundations Research Cluster – monthly
discussions on foundational topics in quantum theory and related areas open to the
general public, including researchers and students from across different departments
in the university (https://www.wolfson.ox.ac.uk/quantum-foundations-research-cluster) (2013/01 - 2019/07)
Round table (Co-organisor)
|
University of Oxford Wolfson College, United Kingdom |
| 2017/01/01 - 2017/12/31 | Quantum Lunch – Internal seminar series of the Quantum Group (2017/01 - 2017/12)
Seminar (Co-organisor)
|
University of Oxford - Department of Computer Science, United Kingdom |
| 2016/06/20 - 2016/06/22 | Workshop on Contextuality as a Resource in Quantum Computation
(http://www.cs.ucl.ac.uk/contextuality/) (2016/06/20 - 2016/06/22)
Workshop (Member of the Organising Committee)
|
University College London Department of Computer Science, United Kingdom |
| 2015/03/07 - 2015/03/07 | Quantum Group Workshop (2015/03/07 - 2015/03/07)
Workshop (Co-organisor)
|
University of Oxford - Department of Computer Science, United Kingdom |
Event participation
| Activity description Type of event |
Event name Institution / Organization |
|
|---|---|---|
| 2025/09/26 - 2025/09/26 | Quantum computing as part of INL stand
Exhibition
|
European Researchers’ Night Braga
Universidade do Minho, Portugal
International Iberian Nanotechnology Laboratory, Portugal |
| 2023/09/20 - 2023/09/20 | Presenter at tour station on Quantum Computing
Exhibition
|
INL Open Day
International Iberian Nanotechnology Laboratory, Portugal
|
| 2022/11/25 - 2022/11/25 | Roundtable discussion ‘Bits and qubits : à conversa sobre o futuro da computação’,
with Yasser
Omar (IST Lisboa) and Luís Paulo Santos (INESC TEC & U Minho) and moderation by Ana
Noronha
Round table
|
Semana da Ciência e Tecnologia 2022
Ciência Viva, Portugal
|
Jury of academic degree
| Topic Role |
Candidate name (Type of degree) Institution / Organization |
|
|---|---|---|
| 2025/12/22 | Time of arrival measurements
(Thesis) Main arguer
|
Mafalda Pinto Couto (Master)
Universidade do Minho Departamento de Física, Portugal
Universidade do Minho Departamento de Informática, Portugal |
| 2025/10/23 | Metric lambda-calculus with conditionals: quantum, probabilities and beyond
(Thesis) Arguer
|
Bruna Martins Salgado (Master)
Universidade do Minho Departamento de Informática, Portugal
Universidade do Minho Departamento de Física, Portugal |
| 2025/03/13 | Machine learning applied to the quantum circuit layout problem
(Thesis) Main arguer
|
André Mestre Mendes (Master)
Universidade do Minho Departamento de Matemática, Portugal
|
| 2025/02/11 | Composing classical and quantum relaxations of CSP and structure isomorphism
(Thesis) Main arguer
|
Amin Karamlou (PhD)
University of Oxford Computing Laboratory, United Kingdom
|
| 2024/11/11 | Contextuality: A topological and geometrical journey
(Thesis) Main arguer
|
Sidiney Montanhano (PhD)
Universidade Estadual de Campinas Instituto de Matemática Estatística e Computação
Científica, Brazil
|
| 2024/09/05 | Towards point-free spacetimes
(Thesis) Main arguer
|
Nesta van der Schaaf (PhD)
The University of Edinburgh School of Informatics, United Kingdom
|
| 2024/02/23 | A quantum-inspired analysis of human disambiguation processes: Foundational theory
and applications
(Thesis) Main arguer
|
Daphne Wang (PhD)
University College London Department of Computer Science, United Kingdom
|
| 2023/12/15 | Partial classical propositional logic
(Thesis) Main arguer
|
Hugo Morais Martins (Master)
Universidade do Minho Departamento de Matemática, Portugal
|
| 2023/12/13 | Quantum Simulation of spin systems on quantum computers
(Thesis) Main arguer
|
Leander Reascos (Master)
Universidade do Minho Departamento de Física, Portugal
Universidade do Minho – Departamento de Informática, Portugal |
| 2023/09/24 | Contextual semantics machinery
(Thesis) Arguer
|
Sahil Imtiyaz (PhD)
Università degli Studi di Camerino, Italy
|
| 2023/06/01 | iQbricks: Integration of a fully-featured quantum language in the framework Qbricks
(Thesis) Main arguer
|
Tomás Carneiro (Master)
Universidade do Minho Departamento de Informática, Portugal
Universidade do Minho Departamento de Física, Portugal |
| 2022/09/26 | Comparing two cohomological obstructions to contextuality, and a generalised construction
of quantum advantage with shallow circuits
(Thesis) Main arguer
|
Sivert Aasnæss (PhD)
University of Oxford Computing Laboratory, United Kingdom
|
| 2022/01/24 | Deductive systems for minimal quantum logic
(Thesis) Main arguer
|
Ana Catarina Sousa (Master)
Universidade do Minho Departamento de Matemática, Portugal
|
| 2019/09/18 | Morphisms of open games for iterated games
(Thesis) Main arguer
|
Elena di Lavore (Master)
University of Oxford Mathematical Institute, United Kingdom
University of Oxford Computing Laboratory, United Kingdom |
| 2019/07/23 | On the non-compositionality of distributive laws for monads [Confirmation of DPhil
status]
(Thesis) Arguer
|
Maaike Zwart (Other)
University of Oxford Computing Laboratory, United Kingdom
|
| 2018/12/21 | Categorical semantics of linear logic
(Thesis) Main arguer
|
Carlos Miguel Alves Fitas (Master)
Universidade do Minho Departamento de Matemática, Portugal
|
| 2017/10/06 | Classical and quantum structures of computation
[Confirmation of DPhil status]
(Thesis) Arguer
|
Linde Wester (Other)
University of Oxford Computing Laboratory, United Kingdom
|
| 2017/10/05 | Diagrammatic semantics for quantum Latin squares, algebraic structures and quantum
functions in Hilbert space [Confirmation of DPhil status: internal examination
for doctoral students at end of year 3]
(Thesis) Arguer
|
Benjamin Musto (Other)
University of Oxford Computing Laboratory, United Kingdom
|
Conference scientific committee
| Conference name | Conference host | |
|---|---|---|
| 2026/08/17 - 2026/08/21 | QPL 2026 – 23rd International Conference in Quantum Physics and Logic | Amsterdam, The Netherlands |
| 2026/04/11 - 2026/04/16 | FoSSaCS 2026 – 29th International Conference on Foundations of Software Science and Computation Structures. Constituent conference of ETAPS – International Joint Conferences on Theory and Practice of Software | Turin, Italy |
| 2025/07/14 - 2025/07/18 | QPL 2025 – 22nd International Conference in Quantum Physics and Logic | Varna, Bulgaria |
| 2025/06/16 - 2025/06/18 | CALCO 2025 – 11th Conference on Algebra and Coalgebra in Computer Science | Glasgow, U.K. |
| 2024/07/15 - 2024/07/19 | QPL 2024 – 21st International Conference in Quantum Physics and Logic | Buenos Aires |
| 2023/07/17 - 2023/07/21 | QPL 2023 – 20th International Conference in Quantum Physics and Logic | Paris |
| 2022/06/27 - 2022/07/01 | QPL 2022 – 19th International Conference on Quantum Physics and Logic | Oxford, U.K. |
| 2022/06/28 - 2022/06/30 | WADT 2022 – 26th International Workshop on Algebraic Development Techniques. Chair of track on Algebraic approaches to quantum computation | Aveiro, Portugal |
| 2021/08/30 - 2021/09/03 | CALCO 2021 – 9th Conference on Algebra and Coalgebra in Computer Science | Salzburg, Austria |
| 2021/06/07 - 2021/06/11 | QPL 2021 – 18th International Conference on Quantum Physics and Logic | Gdansk, Poland |
| 2019/10/09 - 2019/10/09 | 2nd DaLí – Dynamic Logic: New Trends and Applications. Workshop at 3rd World Congress on Formal Methods (FM 2019) | INESC TEC, Porto, Portugal |
| 2018/11/26 - 2018/11/30 | 1st Q-turn Workshop: Changing Paradigms in Quantum Science (Q-turn 2018) | Universidade Federal de Santa Catarina, Florianópolis, Brazil |
| 2017/09/18 - 2017/09/22 | TbiLLC 2017 – 12th International Tbilisi Symposium on Language, Logic and Computation | Lagodekhi, Georgia |
Course / Discipline taught
| Academic session | Degree Subject (Type) | Institution / Organization | |
|---|---|---|---|
| 2023/02/14 - 2023/08/13 | Quantum Logic (Lecturer) | 5th year of Integrated MSc Physics Engineering (Mestrado integrado) | Universidade do Minho – Departamento de Informática, Portugal |
| 2019/01 - 2019/01 | Quantum Logic (Lecturer, 25h module on categorical logics for quantum information as part of this course) | 5th year of Integrated MSc Physics Engineering (Mestrado integrado) | Universidade do Minho – Departamento de Informática, Portugal |
| 2019/01 - 2019/01 | Quantum Computing (Lecturer, 8h module as part of this course) | Doctoral Program in Computer Science of the Universities of Minho, Aveiro, and Porto (MAP-i) (Curso de doutoramento (conclusão de unidades curriculares)) | Universidade do Minho, Portugal Universidade de Aveiro, Portugal Universidade do Porto, Portugal |
| 2018/12 - 2018/12 | Categories, Proofs and Processes (Guest Lecturer, 2-hour lecture) | 4th year undergraduate, masters and doctoral students in Computer Science, Mathematics & Computer Science, etc. (Master) | University of Oxford - Department of Computer Science, United Kingdom |
| 2017/12 - 2018/12 | Categories, Proofs and Processes (Guest Lecturer, 2-hour lecture) | 4th year undergraduate, masters and doctoral students in Computer Science, Mathematics & Computer Science, etc. (Master) | University of Oxford - Department of Computer Science, United Kingdom |
| 2017/12 - 2018/01 | Quantum Logic (Lecturer, 25h module on categorical logics for quantum information as part of this course) | 5th year of Integrated MSc Physics Engineering (Mestrado integrado) | Universidade do Minho – Departamento de Informática, Portugal |
| 2012/10 - 2012/12 | Categories, Proofs and Processes (Teaching Assistant, two 1-hour classes per week) | 4th year undergraduate, masters and doctoral students in Computer Science, Mathematics & Computer Science, etc. (Master) | University of Oxford - Department of Computer Science, United Kingdom |
| 2012/10 - 2012/12 | Principles of Programming Languages (Teaching Assistant, two 1-hour classes per week & Practical Demonstrator, two 2-hour practicals per week) | 2nd / 3rd year undergraduates reading Computer Science or Mathematics & Computer Science (Bachelor) | University of Oxford - Department of Computer Science, United Kingdom |
Mentoring / Tutoring
| Topic | Student name | |
|---|---|---|
| 2026/01/16 - Current | Postdoctoral researcher hired under VeriQuB project (mentored by Leonardo Novo and me) | David Gunn |
| 2024 - Current | Measuring quantum symmetries on real quantum devices – Internship in Year 1 of QUARMEN Erasmus Mundus MSc in Quantum Science and Technology at U Porto | Tiago Pinto |
| 2026/03/23 - 2026/07/26 | Rigidity and self-testing in MIP* = RE – 4-month research internship of student from École Polytechnique, Paris | Hélder da Costa |
| 2023/10/02 - 2026/06/01 | Postdoctoral researcher hired under FoQaCiA project (mentored by me and Ernesto F. Galvão) | Lorenzo Catani |
| 2023/09/01 - 2026/05/31 | Postdoctoral researcher hired under FoQaCiA project (mentored by me and Ernesto F. Galvão) | Som Kanjilal |
| 2023 - 2026 | Relative quantum observers (PhD student on secondment from U York) | Laurens Walleghem |
| 2024 - 2024 | Nonclassicality in quantum mechanics – Internship in Year 1 of MSc in Mathematics and Computation at U Minho | Ricardo Silva |
| 2022 - 2022 | Contextuality and causal structure (PhD student on secondment from U Oxford) | Amy Searle |
Distinctions
Award
| 2016 | Commendation as Runner-up, BCS/CPHC Distinguished Dissertation award
British Computer Society (BCS), The Chartered Institute for IT, United Kingdom
CPHC – Council of Professors and Heads of Computing , United Kingdom |
| 2010 | Prémio Governo Civil de Braga – for having the best final grade (19.2) for any undergraduate
degree at Universidade do Minho
Governo Civil de Braga, Portugal
Universidade do Minho, Portugal |
| 2009 | Prize for Academic Merit
Ministério da Ciência Tecnologia e Ensino Superior, Portugal
|
| 2009 | Prize for Academic Merit – for being top of the 2nd year class in Computer Science
Universidade do Minho, Portugal
|
| 2008 | Prize for Academic Merit – for being top of the 1st year class in Computer Science
Universidade do Minho, Portugal
|
| 2007 | 1st place in CeNPLf 2007 – National Contest of Logic and Functional Programming (Concurso/Encontro Nacional de Programação em Lógica e Funcional) |
| 2007 | 2nd place in MIUP 2007 – National ACM Programming Contest (Maratona Inter-Universitária de Programação) |
| 2007 | Prémio Conselho Académico da Universidade do Minho (University of Minho Academic Council
Prize) – for having the best entry grade (19.4) to the BSc Computer Science
Universidade do Minho, Portugal
|
| 2006 | Silver medal at CIIC – Ibero-American Olympiad in Informatics (Competencia Iberoamericana de Informática por Correspondencia) |
| 2006 | 2nd place at ONI – Portuguese Olympiad in Informatics (Olímpiadas Nacionais de Informática) |
| 2006 | 1st place (as guest pre-university team) in MIUP 2006 – National ACM Programming Contest (Maratona Inter-Universitária de Programação) |
| 2006 | Bronze medal at IPhO 2006 – International Physics Olympiad, Singapore |