???global.info.a_carregar???
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 (Investigação) International Iberian Nanotechnology Laboratory, Portugal
International Iberian Nanotechnology Laboratory, Portugal
2019/08/01 - 2020/01/31 Investigador Contratado (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 Investigador Contratado (Investigação) University of Oxford - Department of Computer Science, Reino Unido
University of Oxford - Department of Computer Science, Reino Unido

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
2016/08/15 - 2016/12/31 Simons–Berkeley Research Fellowship – for participation in the 'Logical Structures in Computation' programme Simons Institute for the Theory of Computing – University of California, Berkeley, Estados Unidos
Projetos

Bolsa

Designação Financiadores
2014 - 2014/12 PhD Grant for 4th year of doctoral studies
SFRH/BD/94945/2013
Bolseiro de Doutoramento
Fundação para a Ciência e a Tecnologia
2009 - 2010/09 Santander Abbey Scholarship – to fund one year of Master's studies at the University of Oxford
GAF0910_Sant_456917
Bolseiro de Mestrado
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

Projeto

Designação Financiadores
2019 - 2020/01 Combining Viewpoints in Quantum Theory (Ext.)
EP/R044759/1
Investigador
The University of Edinburgh School of Informatics, Reino Unido
Engineering and Physical Sciences Research Council
Em curso
2016 - 2019/07/31 Contextuality as a Resource in Quantum Computation
EPSRC EP/N018745/1
Investigador
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 - 2016/03/31 Oxford Martin Programme on Bio-Inspired Quantum Technologies
N/A
Investigador
Oxford Martin School, Reino Unido

University of Oxford - Department of Computer Science, Reino Unido
2015 - 2015/06/30 Categorical Unification: where foundational physics, natural language and rational processes meet
35740
Investigador
University of Oxford - Department of Computer Science, Reino Unido
John Templeton Foundation
Concluído
2010 - 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
  1. Abramsky, Samson; Barbosa, Rui Soares. "The logic of contextuality". Trabalho apresentado em Proceedings of 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021.
    Publicado • 10.4230/LIPIcs.CSL.2021.5
  2. Abramsky, Samson; Barbosa, Rui Soares; Karvonen, Martti; Mansfield, Shane. "A comonadic view of simulation and quantum resources". Trabalho apresentado em Proceedings of 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LiCS 2019), 2019.
    Publicado • 10.1109/lics.2019.8785677
  3. Abramsky, Samson; Barbosa, Rui Soares; de Silva, Nadish; Zapata, Octavio. "The quantum monad on relational structures". Trabalho apresentado em 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Aalborg, 2017.
    Publicado • 10.4230/LIPIcs.MFCS.2017.35
  4. Abramsky, Samson; Barbosa, Rui Soares; Carù, Giovanni; de Silva, Nadish; Kishida, Kohei; Mansfield, Shane. "Minimum quantum resources for strong non-locality". Trabalho apresentado em 12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017), Paris, 2017.
    Publicado • 10.4230/LIPIcs.TQC.2017.9
  5. Abramsky, Samson; Barbosa, Rui Soares; Kishida, Kohei; Lal, Raymond; Mansfield, Shane. "Contextuality, cohomology and paradox". Trabalho apresentado em Proceedings of 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 2015.
    Publicado • 10.4230/LIPIcs.CSL.2015.211
  6. Barbosa, Rui Soares. "On monogamy of non-locality and macroscopic averages: examples and preliminary results". Trabalho apresentado em 11th Workshop on Quantum Physics and Logic (QPL 2014), Kyoto, 2014.
    Publicado • 10.4204/EPTCS.172.4
  7. Mansfield, Shane; Barbosa, Rui Soares. "Extendability in the sheaf-theoretic approach: Construction of Bell models from Kochen–Specker models". Trabalho apresentado em 10th Wokshop on Quantum Physics and Logic (QPL 2013), 2013.
    Aceite para publicação
  8. Abramsky, Samson; Barbosa, Rui Soares; Mansfield, Shane. "The cohomology of non-locality and contextuality". Trabalho apresentado em 8th International Workshop on Quantum Physics and Logic (QPL 2011), Nijmegen, 2011.
    Publicado • 10.4204/EPTCS.95.1
Artigo em revista
  1. Barbosa, Rui Soares; Douce, Tom; Emeriau, Pierre-Emmanuel; Kashefi, Elham; Mansfield, Shane. "Continuous-variable nonlocality and contextuality". Communications in Mathematical Physics (2022): https://arxiv.org/abs/1905.08267.
    No prelo
  2. Neri, Ana; Barbosa, Rui Soares; Oliveira, José Nuno. "Compiling quantamorphisms for the IBM Q Experience". IEEE Transactions on Software Engineering (2022): https://ieeexplore.ieee.org/document/9557827.
    No prelo • 10.1109/TSE.2021.3117515
  3. de Silva, Nadish; Barbosa, Rui Soares. "Contextuality and noncommutative geometry in quantum mechanics". Communications in Mathematical Physics 365 2 (2019): 375-429.
    Acesso aberto • Publicado • 10.1007/s00220-018-3222-9
  4. Abramsky, Samson; Barbosa, Rui Soares; Carù, Giovanni; Perdrix, Simon. "A complete characterization of all-versus-nothing arguments for stabilizer states". Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Theme Issue on 'Second quantum revolution: foundational questions') 375 2106 (2017): 20160385.
    Acesso aberto • Publicado • 10.1098/rsta.2016.0385
  5. Abramsky, Samson; Barbosa, Rui Soares; Mansfield, Shane. "Contextual fraction as a measure of contextuality". Physical Review Letters 119 5 (2017): 050504.
    Publicado • 10.1103/physrevlett.119.050504
  6. Abramsky, Samson; Barbosa, Rui Soares; Kishida, Kohei; Lal, Raymond; Mansfield, Shane. "Possibilities determine the combinatorial structure of probability polytopes". Journal of Mathematical Psychology (Special Issue on 'Foundations of Probability') 74 (2016): 58-65.
    Publicado • 10.1016/j.jmp.2016.03.006
Capítulo de livro
  1. Barbosa, Rui Soares; Karvonen, Martti; Mansfield, Shane. "Closing Bell: Boxing black box simulations in the resource theory of contextuality". In Samson Abramsky on Logic and Structure in Computer Science and Beyond (series: Outstanding Contributions to Logic), editado por Abramsky, Samson; Palmigiano, Alessandra; Sadrzadeh, Mehrnoosh. Springer, 2022.
    Aceite para publicação
  2. Döring, Andreas; Barbosa, Rui Soares. "Unsharp values, domains and topoi". In Quantum Field Theory and Gravity, editado por Finster, Felix; Müller, Olaf; Nardmann, Marc; Tolksdorf, Jürgen, 65-96. Springer Basel, 2012.
    Publicado • 10.1007/978-3-0348-0043-3_5
Tese / Dissertação
  1. Barbosa, Rui Soares. "Contextuality in quantum mechanics and beyond". Doutoramento, University of Oxford, 2015.
  2. Barbosa, Rui Soares. "Interval domain(s) and Physics". Mestrado, University of Oxford, 2010.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2021/10/21 Free transformations in the resource theory of contextuality QCQMB colloquium series (Quantum Contextuality in Quantum Mechanics and Beyond)
2021/06 Closing Bell: Boxing black box correlations in the resource theory of contextuality 18th International Conference on Quantum Physics and Logic (QPL 2021)
University of Gdansk (Gdansk, Polónia)
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
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

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

Júri de grau académico

Tema
Tipo de participação
Nome do candidato (Tipo de grau)
Instituição / Organização
2022/01/24 Deductive systems for minimal quantum logic
Arguente principal
Ana Catarina Sousa (Mestrado)
Universidade do Minho Departamento de Matemática e Aplicações, 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 - Department of Computer Science, Reino Unido
2019/07/23 On the non-compositionality of distributive laws for monads [Confirmation of DPhil status: internal viva examination for doctoral students at the end of their 3rd year]
Arguente
Maaike Zwart (Outro)
University of Oxford - Department of Computer Science, Reino Unido
2018/12/21 Categorical semantics of linear logic
Arguente principal
Carlos Miguel Alves Fitas (Mestrado)
Universidade do Minho Departamento de Matemática e Aplicações, Portugal
2017/10/06 Classical and quantum structures of computation [Confirmation of DPhil status: internal viva examination for doctoral students at the end of their 3rd year]
Arguente
Linde Wester (Outro)
University of Oxford - Department of Computer Science, Reino Unido
2017/10/05 Diagrammatic semantics for quantum Latin squares, algebraic structures and quantum functions in Hilbert space [Confirmation of DPhil status: internal viva examination for doctoral students at the end of their 3rd year]
Arguente
Benjamin Musto (Outro)
University of Oxford - Department of Computer Science, Reino Unido

Arbitragem científica em conferência

Nome da conferência Local da conferência
2022/06/27 - 2022/07/01 [PC member] 19th International Conference on Quantum Physics and Logic (QPL 2022) Oxford, U.K.
2022/06/28 - 2022/06/30 [PC member – track chair] 26th International Workshop on Algebraic Development Techniques (WADT 2022) – chair of track on Algebraic approaches to quantum computation Aveiro, Portugal
2021/08/30 - 2021/09/03 [PC member] 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) Salzburg, Austria
2021/06/07 - 2021/06/11 [PC member] 18th International Conference on Quantum Physics and Logic (QPL 2021) Gdansk, Poland
2019/10/09 - 2019/10/09 [PC member] 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 [PC member] 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 [PC member] 12th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2017) Lagodekhi, Georgia

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
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

Entrevista (jornal / revista)

Descrição da atividade Jornal / Forum
2007 Biweekly contributor on science topics (2007/2008) ComUM (U Minho student newspaper)
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