Curriculum Vitae
Rui Soares Barbosa
Identificação
Identificação pessoal
- Nome completo
- Rui Soares Barbosa
- Data de nascimento
- 1988/10/28
Nomes de citação
- Barbosa, Rui Soares
- Barbosa, R S
Identificadores de autor
- Ciência ID
- 0817-E5E1-F22C
- ORCID iD
- 0000-0002-0465-8518
- Google Scholar ID
- JjgcE-0AAAAJ
Endereços de correio eletrónico
- rui.soaresbarbosa@inl.int (Profissional)
Moradas
- INL – International Iberian Nanotechnology Laboratory, Avenida Mestre José Veiga, 4715-330, Braga, Braga, Portugal (Profissional)
Websites
- https://www.ruisoaresbarbosa.com (Académico)
Domínios de atuação
- Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
- Ciências Exatas - Física
- Ciências Exatas - Matemática
Idiomas
| Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
|---|---|---|---|---|---|
| Português (Idioma materno) | |||||
| Inglês | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) |
| Francês | Utilizador elementar (A2) | Utilizador proficiente (C1) | Utilizador elementar (A2) | Utilizador independente (B1) | Utilizador independente (B1) |
| Espanhol; Castelhano | Utilizador independente (B1) | Utilizador proficiente (C2) | Utilizador independente (B1) | Utilizador proficiente (C1) | Utilizador independente (B2) |
Formação
| Grau | Classificação | |
|---|---|---|
|
2010/10/09 - 2015/10/19
Concluído
|
DPhil Computer Science (Doctor)
University of Oxford, Reino Unido
"Contextuality in quantum mechanics and beyond" (TESE/DISSERTAÇÃO)
|
|
|
2009/10/09 - 2010/09
Concluído
|
MSc Mathematics and Foundations of Computer Science (Master)
University of Oxford, Reino Unido
"Interval domain(s) and Physics" (TESE/DISSERTAÇÃO)
|
87/100 (Distinction) |
|
2006/09/01 - 2009/07/27
Concluído
|
Ciências da Computação (Computer Science) (Licenciatura)
Universidade do Minho, Portugal
|
19.2 / 20 |
Percurso profissional
Ciência
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2020/02/03 - Atual | Investigador Contratado (Investigação) | International Iberian Nanotechnology Laboratory, Portugal |
| International Iberian Nanotechnology Laboratory, Portugal | ||
| 2019/08/01 - 2020/01/31 | Pós-doutorado (Investigação) | The University of Edinburgh School of Informatics, Reino Unido |
| The University of Edinburgh School of Informatics, Reino Unido | ||
| 2015/01 - 2019/07/31 | Pós-doutorado (Investigação) | University of Oxford Department of Computer Science, Reino Unido |
| 2016/08/15 - 2016/12/31 | Investigador (Investigação) | University of California Berkeley Simons Institute for the Theory of Computing, Estados Unidos |
Docência no Ensino Superior
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2023/02/13 - 2023/08/12 | Professor Auxiliar Convidado (Docente Universitário) | Universidade do Minho Departamento de Informática, Portugal |
| 2018/09/03 - 2019/03/02 | Professor Auxiliar Convidado (Docente Universitário) | Universidade do Minho Departamento de Informática, Portugal |
| 2017/11/13 - 2018/05/12 | Professor Auxiliar Convidado (Docente Universitário) | Universidade do Minho Departamento de Informática, Portugal |
Outros
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2016/01/01 - Atual | Junior Research Fellowship (early-career fellowships awarded by Oxford and Cambridge colleges on the basis of research excellence) | University of Oxford Wolfson College, Reino Unido |
Projetos
Bolsa
| Designação | Financiadores | |
|---|---|---|
| 2014/01 - 2014/12 | PhD Grant for 4th year of doctoral studies
SFRH/BD/94945/2013
Bolseiro de Doutoramento
University of Oxford Department of Computer Science, Reino Unido
|
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2009/10 - 2010/09 | Santander Abbey Scholarship – to fund one year of Master's studies at the University of Oxford
GAF0910_Sant_456917
Bolseiro de Mestrado
University of Oxford Mathematical Institute, Reino Unido
|
Santander Abbey Bank
Concluído
|
| 2009 - 2009 | An algebraic approach to convolutional codes (supervisor: Dr Pedro Patrício)
BII/UNI/0013/MAT/2008
UMINHO/BII/076/2009
Bolseiro de Integração na Investigação
Universidade do Minho Centro de Matemática, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
| 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)
Bolseiro de Iniciação Científica
|
Fundação Calouste Gulbenkian
Concluído
|
| 2007 - 2008 | Mahler’s measure (supervisor: Prof Assis Azevedo)
New Talents in Mathematics Programme (Programa Novos Talentos em Matemática)
Bolseiro de Iniciação Científica
|
Fundação Calouste Gulbenkian
Concluído
|
Projeto
| Designação | Financiadores | |
|---|---|---|
| 2025/02/16 - 2026/08/15 | KaleidosQope – Contextual partial views: a logical foundation for quantum computational advantage
2023.13603.PEX
Investigador responsável
International Iberian Nanotechnology Laboratory, Portugal
|
Fundação para a Ciência e a Tecnologia
Em curso
|
| 2022/10/01 - 2026/03/31 | FoQaCiA – Foundations of Quantum Computational Advantage
Investigador responsável
International Iberian Nanotechnology Laboratory, Portugal
University College London, Reino Unido Universidad de Sevilla, Espanha Universidad de Granada, Espanha Uniwersytet Gdanski, Polónia Stockholms Universitet, Suécia Bilkent Üniversitesi, Turquia University of Ottawa, Canadá The University of British Columbia, Canadá Simon Fraser University, Canadá University of Waterloo, Canadá Leibniz Universität Hannover, Alemanha |
Horizon 2020 Natural Sciences and Engineering Research Council of Canada UK Research and Innovation Em curso
|
| 2019/07/01 - 2020/01 | Combining Viewpoints in Quantum Theory (Ext.)
EP/R044759/1
Investigador Pós-doutorado
The University of Edinburgh School of Informatics, Reino Unido
|
Engineering and Physical Sciences Research Council
Concluído
|
| 2016/04/01 - 2019/07/31 | Contextuality as a Resource in Quantum Computation
EPSRC EP/N018745/1
Investigador Pós-doutorado
University of Oxford Department of Computer Science, Reino Unido
University College London Department of Computer Science, Reino Unido |
Engineering and Physical Sciences Research Council
Concluído
|
| 2015/07/01 - 2016/03/31 | Oxford Martin Programme on Bio-Inspired Quantum Technologies
N/A
Investigador Pós-doutorado
Oxford Martin School, Reino Unido
University of Oxford Department of Computer Science, Reino Unido |
|
| 2015/01/01 - 2015/06/30 | Categorical Unification: where foundational physics, natural language and rational processes meet
35740
Investigador Pós-doutorado
University of Oxford Department of Computer Science, Reino Unido
|
John Templeton Foundation
Concluído
|
| 2010/10 - 2013/09 | Initial Training Network MALOA – From MAthematical Logic to Applications (Early Stage Researcher)
PITN-GA-2009-238381
Bolseiro de Doutoramento
University of Oxford Department of Computer Science, Reino Unido
|
EU Framework Programme for Research and Innovation Marie Sklodowska-Curie Actions |
Produções
Publicações
| Artigo em conferência |
|
| Artigo em revista |
|
| Capítulo de livro |
|
| Pré-impressão |
|
| Tese / Dissertação |
|
Atividades
Apresentação oral de trabalho
| Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
|---|---|---|
| 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, Estados Unidos)
|
| 2025/07/17 | Exclusivity principle, Ramsey theory, and n-cycle PR boxes | 22nd International Conference on Quantum Physics and Logic (QPL 2025)
(Varna , Bulgária)
|
| 2025/07/14 | A refined Frauchiger–Renner paradox based on strong contextuality. | 22nd International Conference on Quantum Physics and Logic (QPL 2025)
(Varna, Bulgária)
|
| 2024/09/04 | Contextuality in logical form: duality for transitive partial CABAs. | Edinburgh Category Theory Seminar
School of Informatics, University of Edinburgh (Edinburgh, Reino Unido)
|
| 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, Reino Unido)
|
| 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, Reino Unido)
|
| 2023/07/20 | Inequalities witnessing coherence, nonlocality, and contextuality | 20th International Conference on Quantum Physics and Logic (QPL 2023)
(Paris, França)
|
| 2023/07/19 | Contextuality in logical form: Duality for transitive partial CABAs. | 20th International Conference on Quantum Physics and Logic (QPL 2023)
(Paris, França)
|
| 2022/12/18 | Causal contextuality and adaptive MBQC | 5th Workshop on Quantum Contextuality in Quantum Mechanics and Beyond (QCQMB 2022)
(Prague, República Checa)
|
| 2022/09/21 | Contextuality as a resource: simulations, adaptivity comonad, and the (partial) algebraic-logical view | Resources in Computation Workshop
University College London (London, Reino Unido)
|
| 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), República Checa)
|
| 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), Reino Unido)
|
| 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), França)
|
| 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, Reino Unido)
|
| 2019/07 | Resource theory of contextual behaviours | Workshop on Contextuality as a Resource in Quantum Computation II
University of Oxford (Oxford, Reino Unido)
|
| 2019/07 | Logic and quantum advantage | Logic and Structure in Computer science and Beyond
Lorentz Centre (Leiden, Países Baixos)
|
| 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, Canadá)
|
| 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, Reino Unido)
|
| 2019/05 | Acyclicity and Vorob'ev’s theorem | 3rd Workshop on Quantum Contextuality in Quantum Mechanics and Beyond
(Prague, República Checa)
|
| 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, Canadá)
|
| 2018/06 | Contextuality as a resource yielding quantum advantage | Seminar CAPP (Calculi, Algorithms, Programs, and Proofs)
Laboratoire d’Informatique de Grenoble (Grenoble, França)
|
| 2018/05 | Contextuality and advantage in informatic tasks | 2nd Workshop on Quantum Contextuality in Quantum Mechanics and Beyond
(Prague, República Checa)
|
| 2018/03 | Contextuality as a resource | Workshop on Combining Viewpoints in Quantum Theory
University of Edinburgh (Edinburgh, Reino Unido)
|
| 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, Estados Unidos)
|
| 2017/11 | Resource theory of contextuality | Workshop on Quantum Correlations, Contextuality and All That
International Institute of Physics (Natal, Brasil)
|
| 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, Reino Unido)
|
| 2017/09 | The quantum monad on relational structures | 17th Asian Quantum Information Science Conference (AQIS 2017)
National University of Singapore (Singapura)
|
| 2017/08 | The quantum monad on relational structures | 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)
Aalborg Universitet (Aalborg, Dinamarca)
|
| 2017/07 | Minimum resources for quantum contextuality | 14th International Conference on Quantum Physics and Logic (QPL 2017)
Radboud Universiteit (Nijmegen, Países Baixos)
|
| 2017/06 | The contextual fraction and contextuality as a resource | 18th Växjö Conference on Quantum Foundations
Linnaeus University (Växjö, Suécia)
|
| 2017/06 | The contextual fraction and contextuality as a resource | Workshop on Quantum Contextuality in Quantum Mechanics and Beyond
(Prague, República Checa)
|
| 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, Estados Unidos)
|
| 2016/12 | Monogamy of nonlocality and macroscopic averages | Logic Lounge Seminar
Simons Institute for the Theory of Computing, UC Berkeley (Berkeley, CA, Estados Unidos)
|
| 2016/06 | Quantifying contextuality via linear programming | 13th International Conference on Quantum Physics and Logic (QPL 2016)
University of Strathclyde (Glasgow, Reino Unido)
|
| 2016/06 | The contextual fraction as a measure of contextuality | Workshop on Contextuality as a Resource in Quantum Computation
University College London (London, Reino Unido)
|
| 2016/04 | Possibilities determine the structure of the no-signalling polytope | Workshop on Information and Processes (WIP 2016)
Université Paris Diderot – Paris 7 (Paris, França)
|
| 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, Brasil)
|
| 2015/02 | Monogamy of nonlocality and macroscopic averages | Quantum Dynamics Seminar
Department of Mathematics, Royal Holloway University of London (Egham, Reino Unido)
|
| 2014/10 | The support lattice and the structure of the no-signalling polytope | Workshop 10 years of Categorical Quantum Mechanics
University of Oxford (Oxford, Reino Unido)
|
| 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, Japão)
|
| 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, Canadá)
|
| 2013/05 | Sheaf-theoretic framework for non-locality and contextuality | Lunch Seminar of the Quantum Information Team
Télécom ParisTech (Paris, França)
|
| 2013/04 | Structural reason for monogamy and local macroscopic correlations | Postgraduate Conference on Quantum Fields, Gravity & Information
University of Nottingham (Nottingham, Reino Unido)
|
| 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, França)
|
| 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, Reino Unido)
|
| 2012/12 | Topologies on the spectral presheaf and co/contra-variant duality | First Workshop on Quantum Toposophy
Radboud Universiteit (Nijmegen, Países Baixos)
|
| 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, Reino Unido)
|
| 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, Brasil)
|
| 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)
|
Orientação
| Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
|---|---|---|
| 2025 - Atual | Quantum reference frame transformations in Spekkens toy theory
Orientador de Ricardo Silva
|
MSc Mathematics and Computation (Mestrado)
Universidade do Minho Departamento de Matemática, Portugal
|
| 2023/10/01 - Atual | A categorical approach to quantum probabilistic inference
Orientador de Nico Wittrock
|
MAP-i: Minho-Aveiro-Porto PhD Programme in Informatics (Doutoramento)
Universidade do Minho Departamento de Informática, Portugal
International Iberian Nanotechnology Laboratory, Portugal INESC Porto, Portugal |
| 2021/02/01 - Atual | Matchgate circuits with magic resources for universal quantum computation
Orientador de Angelos Bampounis
|
MAP-PDMA: Minho-Aveiro-Porto PhD Programme in Applied Mathematics (Doutoramento)
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
Orientador de Rafael Wagner
|
MAP-fis: Minho–Aveiro–Porto PhD Programme in Physics (Doutoramento)
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
Orientador de Raman Choudhary
|
MAP-i: Minho-Aveiro-Porto PhD Programme in Informatics (Doutoramento)
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
Coorientador de Daniel Almeida Carvalho
|
MSc Physics Engineering (Mestrado)
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
Orientador de Jaime Santos
|
BII (Iniciação científica)
INESC Porto, Portugal
|
| 2020 - 2021 | Partial Boolean algebras of composite systems
Orientador
|
BII (Iniciação científica)
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
|
| 2017/10/25 - 2018/10/15 | Towards quantum program calculation
Coorientador de Ana Isabel Carvalho Neri
|
MSc Physics Engineering (Mestrado)
Universidade do Minho Departamento de Informática, Portugal
Universidade do Minho Departamento de Física, Portugal |
Organização de evento
| Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
|---|---|---|
| 2020/06 - Atual | 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)
Seminário (Coorganizador)
|
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)
Oficina (workshop) (Coorganizador)
|
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)
Seminário (Coorganizador)
|
University of Oxford - Department of Computer Science, Reino Unido |
| 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)
Oficina (workshop) (Presidente da Comissão Organizadora)
|
University of Oxford - Department of Computer Science, Reino Unido |
| 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)
Mesa-redonda (Coorganizador)
|
University of Oxford Wolfson College, Reino Unido |
| 2017/01/01 - 2017/12/31 | Quantum Lunch – Internal seminar series of the Quantum Group (2017/01 - 2017/12)
Seminário (Coorganizador)
|
University of Oxford - Department of Computer Science, Reino Unido |
| 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)
Oficina (workshop) (Membro da Comissão Organizadora)
|
University College London Department of Computer Science, Reino Unido |
| 2015/03/07 - 2015/03/07 | Quantum Group Workshop (2015/03/07 - 2015/03/07)
Oficina (workshop) (Coorganizador)
|
University of Oxford - Department of Computer Science, Reino Unido |
Participação em evento
| Descrição da atividade Tipo de evento |
Nome do evento Instituição / Organização |
|
|---|---|---|
| 2025/09/26 - 2025/09/26 | Quantum computing as part of INL stand
Exposição
|
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
Exposição
|
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
Mesa-redonda
|
Semana da Ciência e Tecnologia 2022
Ciência Viva, Portugal
|
Júri de grau académico
| Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
|---|---|---|
| 2025/12/22 | Time of arrival measurements
Arguente principal
|
Mafalda Pinto Couto (Mestrado)
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
Arguente
|
Bruna Martins Salgado (Mestrado)
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
Arguente principal
|
André Mestre Mendes (Mestrado)
Universidade do Minho Departamento de Matemática, Portugal
|
| 2025/02/11 | Composing classical and quantum relaxations of CSP and structure isomorphism
Arguente principal
|
Amin Karamlou (Doutoramento)
University of Oxford Computing Laboratory, Reino Unido
|
| 2024/11/11 | Contextuality: A topological and geometrical journey
Arguente principal
|
Sidiney Montanhano (Doutoramento)
Universidade Estadual de Campinas Instituto de Matemática Estatística e Computação Científica, Brasil
|
| 2024/09/05 | Towards point-free spacetimes
Arguente principal
|
Nesta van der Schaaf (Doutoramento)
The University of Edinburgh School of Informatics, Reino Unido
|
| 2024/02/23 | A quantum-inspired analysis of human disambiguation processes: Foundational theory and applications
Arguente principal
|
Daphne Wang (Doutoramento)
University College London Department of Computer Science, Reino Unido
|
| 2023/12/15 | Partial classical propositional logic
Arguente principal
|
Hugo Morais Martins (Mestrado)
Universidade do Minho Departamento de Matemática, Portugal
|
| 2023/12/13 | Quantum Simulation of spin systems on quantum computers
Arguente principal
|
Leander Reascos (Mestrado)
Universidade do Minho Departamento de Física, Portugal
Universidade do Minho – Departamento de Informática, Portugal |
| 2023/09/24 | Contextual semantics machinery
Arguente
|
Sahil Imtiyaz (Doutoramento)
Università degli Studi di Camerino, Itália
|
| 2023/06/01 | iQbricks: Integration of a fully-featured quantum language in the framework Qbricks
Arguente principal
|
Tomás Carneiro (Mestrado)
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
Arguente principal
|
Sivert Aasnæss (Doutoramento)
University of Oxford Computing Laboratory, Reino Unido
|
| 2022/01/24 | Deductive systems for minimal quantum logic
Arguente principal
|
Ana Catarina Sousa (Mestrado)
Universidade do Minho Departamento de Matemática, Portugal
|
| 2019/09/18 | Morphisms of open games for iterated games
Arguente principal
|
Elena di Lavore (Mestrado)
University of Oxford Mathematical Institute, Reino Unido
University of Oxford Computing Laboratory, Reino Unido |
| 2019/07/23 | On the non-compositionality of distributive laws for monads [Confirmation of DPhil status]
Arguente
|
Maaike Zwart (Outro)
University of Oxford Computing Laboratory, Reino Unido
|
| 2018/12/21 | Categorical semantics of linear logic
Arguente principal
|
Carlos Miguel Alves Fitas (Mestrado)
Universidade do Minho Departamento de Matemática, Portugal
|
| 2017/10/06 | Classical and quantum structures of computation
[Confirmation of DPhil status]
Arguente
|
Linde Wester (Outro)
University of Oxford Computing Laboratory, Reino Unido
|
| 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]
Arguente
|
Benjamin Musto (Outro)
University of Oxford Computing Laboratory, Reino Unido
|
Arbitragem científica em conferência
| Nome da conferência | Local da conferência | |
|---|---|---|
| 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 |
Curso / Disciplina lecionado
| Disciplina | Curso (Tipo) | Instituição / Organização | |
|---|---|---|---|
| 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, Reino Unido |
| 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, Reino Unido |
| 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, Reino Unido |
| 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, Reino Unido |
Tutoria
| Tópico | Nome do aluno | |
|---|---|---|
| 2026/01/16 - Atual | Postdoctoral researcher hired under VeriQuB project (mentored by Leonardo Novo and me) | David Gunn |
| 2024 - Atual | 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 |
Distinções
Prémio
| 2016 | Commendation as Runner-up, BCS/CPHC Distinguished Dissertation award
British Computer Society (BCS), The Chartered Institute for IT, Reino Unido
CPHC – Council of Professors and Heads of Computing , Reino Unido |
| 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 |