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 (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 |
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 |
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/01 - 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/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
|
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/07/01 - 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/04/01 - 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/07/01 - 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/01/01 - 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/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 |
|
| Tese / Dissertação |
|
Atividades
Apresentação oral de trabalho
| Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
|---|---|---|
| 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 |
|
|---|---|---|
| 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 | |
|---|---|---|
| 2024 - Atual | [PC member] 21st International Conference in Quantum Physics and Logic (QPL 2024) | Buenos Aires |
| 2023 - 2023 | [PC member] 20th International Conference in Quantum Physics and Logic (QPL 2023) | Paris |
| 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 |