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 | Researcher (Research) | International Iberian Nanotechnology Laboratory, Portugal |
| International Iberian Nanotechnology Laboratory, Portugal | ||
| 2019/08/01 - 2020/01/31 | Contracted Researcher (Research) | The University of Edinburgh School of Informatics, United Kingdom |
| The University of Edinburgh School of Informatics, United Kingdom | ||
| 2015/01 - 2019/07/31 | Contracted Researcher (Research) | University of Oxford - Department of Computer Science, United Kingdom |
| University of Oxford - Department of Computer Science, United Kingdom |
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 |
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 |
| 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, United States |
Projects
Grant
| Designation | Funders | |
|---|---|---|
| 2014/01 - 2014/12 | PhD Grant for 4th year of doctoral studies
SFRH/BD/94945/2013
PhD Student Fellow
|
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
Master Student Fellow
|
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 |
Contract
| Designation | Funders | |
|---|---|---|
| 2019/07/01 - 2020/01 | Combining Viewpoints in Quantum Theory (Ext.)
EP/R044759/1
Researcher
The University of Edinburgh School of Informatics, United Kingdom
|
Engineering and Physical Sciences Research Council
Ongoing
|
| 2016/04/01 - 2019/07/31 | Contextuality as a Resource in Quantum Computation
EPSRC EP/N018745/1
Researcher
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
Researcher
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
Researcher
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 |
|
| Thesis / Dissertation |
|
Activities
Oral presentation
| Presentation title | Event name Host (Event location) |
|
|---|---|---|
| 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 |
|
|---|---|---|
| 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
|
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 |
Jury of academic degree
| Topic Role |
Candidate name (Type of degree) Institution / Organization |
|
|---|---|---|
| 2022/01/24 | Deductive systems for minimal quantum logic
(Thesis) Main arguer
|
Ana Catarina Sousa (Master)
Universidade do Minho Departamento de Matemática e Aplicações, 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 - Department of Computer Science, United Kingdom |
| 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]
(Thesis) Arguer
|
Maaike Zwart (Other)
University of Oxford - Department of Computer Science, 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 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]
(Thesis) Arguer
|
Linde Wester (Other)
University of Oxford - Department of Computer Science, United Kingdom
|
| 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]
(Thesis) Arguer
|
Benjamin Musto (Other)
University of Oxford - Department of Computer Science, United Kingdom
|
Conference scientific committee
| Conference name | Conference host | |
|---|---|---|
| 2024 - Current | [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 |
Course / Discipline taught
| Academic session | Degree Subject (Type) | Institution / Organization | |
|---|---|---|---|
| 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 |
Interview (newspaper / magazine)
| Activity description | Newspaper / Forum | |
|---|---|---|
| 2007 | Biweekly contributor on science topics (2007/2008) | ComUM (U Minho student newspaper) |
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 |