???global.info.a_carregar???
I am an assistant professor at University of Minho and a researcher at INESC-TEC. My overarching goal is the development of reasoning tools, syntax, and semantics for programming languages; with particular focus on hybrid and quantum programming.
Identificação

Identificação pessoal

Nome completo
RENATO JORGE ARAÚJO NEVES

Nomes de citação

  • Neves, Renato

Identificadores de autor

Ciência ID
C012-89D5-994A
ORCID iD
0000-0002-8787-2551
Google Scholar ID
N3_YZoIAAAAJ

Endereços de correio eletrónico

  • nevrenato@di.uminho.pt (Profissional)

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Português (Idioma materno)
Formação
Grau Classificação
2018/06/22
Concluído
 Minho Aveiro Porto - Informatics (Doutoramento)
Especialização em Ciências da Computação
Universidade do Minho Escola de Engenharia, Portugal
"Hybrid Programs" (TESE/DISSERTAÇÃO)
 Maximum
2013
Concluído
 Engenharia Informática (Mestrado)
Universidade do Minho Escola de Engenharia, Portugal
"Proof support for Hybridised Logics" (TESE/DISSERTAÇÃO)
 18
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
2018/08/01 - Atual Pós-doutorado (Investigação) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2020/10/01 - 2021 Pós-doutorado (Investigação) University College London Department of Computer Science, Reino Unido
2014 - 2018 Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2021/09/01 - Atual Professor Auxiliar (Docente Universitário) Universidade do Minho, Portugal
Universidade do Minho, Portugal
2019/02 - 2020 Professor Auxiliar Convidado (Docente Universitário) Universidade do Minho, Portugal
2017 - 2017 Professor Auxiliar Convidado (Docente Universitário) Universidade do Minho, Portugal
2014 - 2015 Professor Auxiliar Convidado (Docente Universitário) Universidade do Minho, Portugal
Projetos

Bolsa

Designação Financiadores
2022 - Atual Computational effects and high-level control
NA
Co-Investigador Responsável (Co-IR)
Haskolinn i Reykjavik, Islândia
 Icelandic Research Fund
Em curso
2014/01/01 - 2017/12/31 Hybrid Programs
SFRH/BD/52234/2013
Bolseiro de Doutoramento
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído

Projeto

Designação Financiadores
2022/01/01 - Atual Ibex - Quantitative methods for cyber-physical programming
PTDC/CCI-COM/4280/2021
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Em curso
2018/08/01 - 2022 Klee - Coalgebraic Modeling and Analysis for Computational Synthetic Biology
POCI-01-0145-FEDER-030947
Bolseiro de Pós-Doutoramento
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência Center for Research in Advanced Computing Systems, Portugal

Universidade de Aveiro, Portugal
Fundação para a Ciência e a Tecnologia

European Regional Development Fund
Concluído
2018 - 2022 DaVinci - Distributed Architectures: Variability and Interaction for Cyber-Physical Systems
POCI-01-0145-FEDER-029946
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia

European Regional Development Fund
Concluído
2020/10/01 - 2021/03/31 Quantitative Algebraic Reasoning of Hybrid Programs
NA
Bolseiro de Pós-Doutoramento
Research Institute in Verified Trustworthy Software Systems (VeTSS). Hosted at Imperial College, Reino Unido
 Research Institute in Verified Trustworthy Software Systems (VeTSS). Hosted at Imperial College
Concluído
2016/04 - 2019 Dalí - Dynamic logics for cyber-physical systems
POCI-01-0145-FEDER-016692
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade de Aveiro, Portugal
Fundação para a Ciência e a Tecnologia

European Regional Development Fund
Concluído
2016 - 2019 TRUST - Trustworthy Software Design with Alloy
POCI-01-0145-FEDER-016826
Investigador
Office National d’Études et de Recherches Aérospatiales, França

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia

European Regional Development Fund
Concluído
2013/07/01 - 2013/12/31 NASONI - Heterogenous software coordination: Foundations, methods, tools
info:eu-repo/grantAgreement/FCT/COMPETE/128057/PT
Bolseiro de Investigação
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Universidade de Aveiro, Portugal
Fundação para a Ciência e a Tecnologia

European Regional Development Fund
Concluído
2012 - 2012 Mondrian - Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/108302/PT
Bolseiro de Iniciação Científica
Universidade do Minho, Portugal

Universidade de Aveiro, Portugal
Fundação para a Ciência e a Tecnologia
Concluído

Outro

Designação Financiadores
2018/01/01 - 2018/07/31 PT-FLAD Chair in Smart Cities & Smart Governance
PT-FLAD-SmartCities-A-2018
Bolseiro de Investigação
Universidade do Minho, Portugal
 Altice SA

Fundação Luso-Americana
Concluído
Produções

Publicações

Artigo em conferência
  1. Fredrik Dahlqvist; Renato Neves. "A Complete V-Equational System for Graded lambda-Calculus". Trabalho apresentado em MFPS'23, 2023.
    10.46298/entics.12299
  2. Dahlqvist, Fredrik; Neves, Renato. "An Internal Language for Categories Enriched over Generalised Metric Spaces". Trabalho apresentado em Computer Science Logic (CSL), 2022.
  3. Sergey Goncharov; Neves, Renato; José Proença. "Implementing Hybrid Semantics: From Functional to Imperative". Trabalho apresentado em International Colloquium on Theoretical Aspects of Computing (ICTAC), 2020.
  4. Goncharov, Sergey; Neves, Renato. "An Adequate While-Language for Hybrid Computation". Trabalho apresentado em 21st International Symposium on Principles and Practice of Programming Languages 2019 (PPDP' 19), 2019.
    10.1145/3354166.3354176
  5. Goncharov, S.; Jakob, J.; Neves, R.. "A semantics for hybrid iteration". Trabalho apresentado em Proceedings of the 29th International Conference on Concurrency Theory, 2018.
    10.4230/LIPIcs.CONCUR.2018.22
  6. Neves, Renato; Madeira, Alexandre; Barbosa, Luis S.; Martins, Manuel A.. "Asymmetric Combination of Logics is Functorial: A Survey". Trabalho apresentado em International Workshop on Algebraic Development Techniques, WADT 2016, 2016.
    10.1007/978-3-319-72044-9_4
  7. Neves, Renato; Barbosa, Luis S.. "Hybrid Automata as Coalgebras". Trabalho apresentado em Proceedings of the 13th International Colloquium Theoretical Aspects of Computing, 2016.
    10.1007/978-3-319-46750-4_22
  8. Madeira, A.; Neves, R.; Martins, M.A.; Barbosa, L.S.. "A logic for robotics?". Trabalho apresentado em Proceedings of the 12th International Conference of Numerical Analysis and Applied Mathematics, 2015.
    10.1063/1.4912930
  9. Neves, R.. "On a monadic encoding of continuous behaviour". Trabalho apresentado em Proceedings of the Student Track of the 15th International Conference on Relational and Algebraic Methods in Computer Science, 2015.
  10. Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S.. "A Dynamic Logic for Every Season". Trabalho apresentado em Proceedings of the 17th Brazilian Symposium on Formal Methods: Foundations and Applications, 2014.
    10.1007/978-3-319-15075-8_9
  11. Neves, Renato; Martins, Manuel A.; Barbosa, Luís S.. "Completeness and Decidability Results for Hybrid(ised) Logics". Trabalho apresentado em Proceedings of the 17th Brazilian Symposium on Formal Methods: Foundations and Applications, 2014.
    10.1007/978-3-319-15075-8_10
  12. Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luis Soares; Neves, Renato. "Paradigm integration in a specification course". Trabalho apresentado em Proceedings of the IEEE 15th International Conference on Information Reuse and Integration, 2014.
    10.1109/iri.2014.7051929
  13. Neves, Renato; Madeira, Alexandre; Martins, Manuel; Barbosa, Luís. "An Institution for Alloy and Its Translation to Second-Order Logic". Trabalho apresentado em IEEE International Workshop on Formal Methods Integration - FMi 2013, 2013.
    10.1007/978-3-319-04717-1_3
  14. Neves, Renato; Madeira, Alexandre; Martins, Manuel A.. "Giving Alloy a family". Trabalho apresentado em IEEE 14th International Conference on Information Reuse & Integration (IRI), 2013.
    10.1109/iri.2013.6642513
  15. Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luis S.. "When Even the Interface Evolves...". Trabalho apresentado em Proceedings of the 2013 International Symposium on Theoretical Aspects of Software Engineering, 2013.
    10.1109/tase.2013.19
  16. Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.. "Hybridisation at Work". Trabalho apresentado em Proceedings of the 5th International Conference of Algebra and Coalgebra in Computer Science, 2013.
    10.1007/978-3-642-40206-7_28
Artigo em revista
  1. Dahlqvist, Fredrik; Neves, Renato. "The syntactic side of autonomous categories enriched over generalised metric spaces". Logical methods in computer science (2023):
    No prelo
  2. Neves, R.; Barbosa, L.S.. "Languages and models for hybrid automata: A coalgebraic perspective". Theoretical Computer Science 744 (2018): 113-142.
    10.1016/j.tcs.2017.09.038
  3. Hofmann, D.; Neves, R.; Nora, Pedro. "Limits in categories of Vietoris coalgebras". Mathematical Structures in Computer Science (2018):
    10.1017/S0960129518000269
  4. Madeira, A.; Neves, R.; Martins, M.A.; Barbosa, L.S.. "Hierarchical Hybrid Logic". Electronic Notes in Theoretical Computer Science 338 (2018): 167-184.
    10.1016/j.entcs.2018.10.011
  5. Hofmann, D.; Neves, R.; Nora, P.. "Generating the algebraic theory of C(X): The case of partially ordered compact spaces". Theory and Applications of Categories 33 (2018): 276-295.
  6. Madeira, A.; Neves, R.; Martins, M.A.. "An exercise on the generation of many-valued dynamic logics". Journal of Logical and Algebraic Methods in Programming 85 5 (2016): 1011-1037.
    10.1016/j.jlamp.2016.03.004
  7. Madeira, A.; Neves, R.; Barbosa, L.S.; Martins, M.A.. "A method for rigorous design of reconfigurable systems". Science of Computer Programming 132 (2016): 50-76.
    10.1016/j.scico.2016.05.001
  8. Neves, R.; Madeira, A.; Martins, M.A.; Barbosa, L.S.. "Proof theory for hybrid(ised) logics". Science of Computer Programming 126 (2016): 73-93.
    10.1016/j.scico.2016.03.001
  9. Neves, R.; Barbosa, L.S.; Hofmann, D.; Martins, M.A.. "Continuity as a computational effect". Journal of Logical and Algebraic Methods in Programming 85 5 (2016): 1057-1085.
    10.1016/j.jlamp.2016.05.005
Capítulo de livro
  1. Barbosa, L.S.; Martins, M.A.; Madeira, A.; Neves, R.. "Reuse and integration of specification logics: The hybridisation perspective". In Theoretical Information Reuse and Integration. Springer, 2016.
    10.1007/978-3-319-31311-5_1
Documento de trabalho
  1. Neves, Renato; Dahlqvist, Fredrik. 2018. "Compositional semantics for new paradigms: probabilistic, hybrid and beyond".
Recurso online
  1. Neves, Renato; Luis Soares Barbosa; José Proença. Lince - Lightweight protototyping of hybrid programs (software). 2019. http://arcatools.org/assets/index.html#lince.
Resumo em conferência
  1. Neves, Renato; Liu Ai; Sun Meng; Luis S. Barbosa. "Effectful Components and Program Equivalence". Trabalho apresentado em 25th International Workshop on Algebraic Development Techniques, 2020.
  2. Neves, Renato; Luis S. Barbosa; Vitor Fernandes. "A type system for simple quantum processes". Trabalho apresentado em 26th International Conference on Types for Proofs and Programs, 2020.
  3. Neves, Renato. "Logics and Calculi for Cyber-Physical Components". Trabalho apresentado em Algebra and Coalgebra in Computer Science - 6th International Conference CALCO 2015, 2015.
  4. Neves, Renato. "Introducing Hierarchical Hybrid Logic". Trabalho apresentado em Advances in Modal Logic, AIML, 2014.
Tese / Dissertação
  1. Neves, Renato. "Hybrid Programs". Doutoramento, Universidade do Minho, 2018.
  2. Neves, Renato. "Proof Support for Hybridised Logics". Mestrado, Universidade do Minho, 2013.

Outros

Outra produção
  1. Integration of the hybridisation method into the tool set HETS (http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/Hets/docs/). 2013. Neves, Renato.
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2022 Invited Speaker at 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022) 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022)
(Munich, Alemanha)
2022 Invited speaker at 18th International Conference on Formal Aspects of Component Software (FACS 2022) 18th International Conference on Formal Aspects of Component Software (FACS, 2022)
(Oslo, Noruega)
2022 An Internal Language for Categories Enriched over Generalised Metric Spaces (Invited talk) C. S. Theory Seminar
(Tallinn, Estónia)
2019 A semantics for hybrid iteration (Invited talk) Open Problems in Concurrency Theory
POPL, Cascais, 2018
2018 When differential equations and programming constructs meet each other (Invited talk) Topology Seminar 2018
University of Aveiro
2018 A uniform theory of hybrid automata (Invited talk) Theoretical Computer Science Chair Seminar of University of Erlangen-Nurnberg
University of Erlangen-Nurnberg
2018 Compositional Semantics for New Paradigms (Invited talk) Lecture
Peking University (Beijing, China)
2015 Towards a coalgebraic calculus for hybrid components (Invited talk) Coalgebra in the Netherlands (COIN)
University of Radboud-Nijmegen
2015 Towards a coalgebraic calculus of hybrid components (Invited talk) Lecture
University of Tokyo (Tokyo, Japão)
2014 Hybridise to Specify (a four hour lecture, Invited talk) Course on Formal Methods for Software Engineering
University of Minho
2014 Reasoning about Molecular Behaviours (Invited talk) Workshop on Molecular Logic
University of Aveiro

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2023/09 - Atual A metric equational system for quantum computation
Orientador de Bruna Salgado
 M.Sc. on Physics (Mestrado)
Universidade do Minho, Portugal
2022 - Atual Semantics of hybrid systems with probabilistic behaviour
Orientador de Juliana Souza
 Doctoral Programme on Informatics (Doutoramento)
Universidade do Minho, Portugal
2022 - Atual An interpreter for a quantum concurrent language
Orientador de Inês Dias
 M.Sc. on Physics (Mestrado)
Universidade do Minho, Portugal
2022 - Atual A component-based language with time
Orientador de Ariana Lousada
 M.Sc. on Informatics (Mestrado)
Universidade do Minho, Portugal
2022 - Atual Modelling and analysis of complex systems via Lince
Orientador de Carlos Ferreira
 M.Sc. on Informatics (Mestrado)
Universidade do Minho, Portugal
2019 - Atual Timing Constraints in Quantum Programming Languages
Orientador de Vitor Fernandes
 Doctoral Programme on Computer Science, Minho, Porto, Aveiro (Doutoramento)
2022 - 2023 An interpreter for a timed probabilistic language
Orientador de Rui Carvalho
 M.Sc. on Informatics (Mestrado)
Universidade do Minho, Portugal
2022 - 2023 Simulation of Newtonian systems via Lince
Orientador de Ricardo Correia
 M.Sc. on Physics (Mestrado)
Universidade do Minho, Portugal
2021 - 2023 Integration of a fully-featured quantum language in the framework Qbricks
Coorientador de Tomás Ferreira
 M.Sc. on Physics (Mestrado)
Universidade do Minho, Portugal
2020 - 2021 Implementation of a component-based lambda-calculus in Agda
Coorientador de Eduardo Barbosa
 MSc. on Informatics (Mestrado)
Universidade do Minho, Portugal
2019/09 - 2021 Regular Expressions for Hybrid Automata
Coorientador de Paulo Ribeiro
 Engenharia Física (Mestrado)
Universidade do Minho, Portugal
2018/07 - 2020/05 Quantum-based transition systems and component-based programming
Coorientador de Liu Ai
 Doctoral Programme in Peking University (Doutoramento)
Peking University, China
2018/10 - 2019 Theoretical aspects of Quantitative semantics and its relation to Coalgebra
Orientador de Pedro Nora
 Supervision of Researcher at project KLEE (Doutoramento)
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2018/09 - 2019 Typing systems and timing constraints for quantum processes
Coorientador de Vítor Fernandes
 Engenharia Física (Mestrado)
Universidade do Minho, Portugal
2018/08 - 2018/12 Literature revision on quantum automata and coalgebras for quantum systems
Coorientador de Liu Ai
 Visiting Scholar from Peking University (Outra)
Peking University, China
2018/01 - 2018/03 Implementation of a hybrid programming language
Coorientador de Rita Vale
 Supervision of researcher at Project Dalí (Iniciação científica)
Universidade de Aveiro, Portugal
2015/10 - 2017/02 A framework for architectural design and simulation of hybrid systems
Coorientador de Tiago Loureiro
 Mestrado Integrado em Engenharia Informática (Mestrado)
Universidade do Minho Escola de Engenharia, Portugal

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
2022 - 2022 WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 (Track chair) (2022 - 2022) Universidade de Aveiro Centro de Investigação e Desenvolvimento em Matemática e Aplicações, Portugal
2021 - 2021 INL Summer School on Quantum Computing (2021 - 2021)
Outro (Coorganizador)
 International Iberian Nanotechnology Laboratory, Portugal
2020 - 2021 Workshop in the UNESCO World Logic Day (2021 - 2021)
Oficina (workshop) (Coorganizador)
 University College London Department of Computer Science, Reino Unido
2018 - 2019 Publicist - 3rd World Congress on Formal Methods (more than 600 participants) (2019 - 2019) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2017 - 2017 School on Probabilistic Programming (around 90 participants) (2017/05/29 - 2017/06/04) Universidade do Minho, Portugal

Participação em evento

Descrição da atividade
Tipo de evento 		Nome do evento
Instituição / Organização
2018/10 - Atual IBM - QuantaLab school on Quantum Computing
International Iberian Nanotechnology Laboratory, Portugal
2015 - Atual Summer school on Topology driven methods for complex systems
Università degli Studi di Camerino, Itália
2014 - Atual Winter school on Logics for Dynamical Systems
École normale supérieure de Lyon, França
2013 - Atual Summer school on Cyber Physical Systems
Persyval-Lab, França
2013 - Atual Midlands graduate school (Mathematical Foundations of Computing Science)
University of Leicester, Reino Unido
2010 - Atual Course on Lecturing
Bee Consulting, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2024 - Atual ICEDEG 2024 - Tenth International Conference on eDemocracy & eGovernment.
2024 - Atual 27th International Workshop on Algebraic Development Techniques (WADT 2024)
2022 - 2022 MFPS XXXVIII (MFPS 2022), 38th International Conference on Mathematical Foundations of Programming Semantics Ithaca, NY
2022 - 2022 ICEDEG 2023 - Ninth International Conference on eDemocracy & eGovernment - Quito, Ecuador Quito, Ecuador
2022 - 2022 WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 Aveiro, Portugal
2021/07/28 - 2021/12/31 ICEDEG 2021 - Eighth International Conference on eDemocracy & eGovernment Online
2020 - 2020 ICEDEG 2020 - Seventh International Conference on eDemocracy & eGovernment Buenos Aires, Argentina
2020 - 2020 Third IFIP International Conference on Topics in Theoretical Computer Science (TTCS) Tehran, Iran
2020 - 2020 3rd DaLí Workshop - Dynamic Logic: new trends and applications Prague, Czech Republic
2020 - 2020 23rd International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2020 (External Reviewer) Dublin, Ireland
2020 - 2020 The 31st International Conference on Concurrency Theory (External reviewer) Vienna, Austria
2020 - 2020 The 42nd International Conference on Software Engineering - FormaliSE (External Reviewer) Seoul, South Korea
2019 - 2019 22nd International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2019 (External Reviewer) Prague, Czech Republic
2019 - 2019 2nd Dalí Workshop - Dynamic Logic: new trends and applications 2019 Porto, Portugal
2019 - 2019 9th International Workshop on Open Community approaches to Education, Research and Technology, 2019 Porto, Portugal
2019 - 2019 EAI International Conference on Smart Governance for Sustainable Smart Cities Braga, Portugal
2019 - 2019 44th International Symposium on Mathematical Foundations of Computer Science (External Reviewer) Aachen, Germany
2019 - 2019 FSCD 2019 : 4th International Conference on Formal Structures for Computation and Deduction (External Reviewer) Dortmund, Germany
2018 - 2018 International Conference on Software Engineering and Formal Methods, SEFM 2018 (External Reviewer) Toulouse, France
2018 - 2018 Advances in Modal Logic, AiML 2018 (External Reviewer) Bern, Switzerland
2018 - 2018 International Symposium on Molecular Logic and Computational Synthetic Biology 2018 Santiago, Chile
2017 - 2017 International Symposium on Theoretical Aspects of Software Engineering, TASE 2017 (External Reviewer) Sophia Antipolis, France
2015 - 2015 1st Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2015 (External Reviewer) Nanjing, China
2014 - 2014 Brazilian Symposium on Programming Languages, SBLP 2014 (External Reviewer) Maceio, Brazil
2013 - 2013 Brazilian Symposium on Programming Languages, SBLP 2013 (External Reviewer) Brasília, Brazil

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2022 - 2023 Journal of Logic and Algebraic Methods in Programming (Guest editor) Elsevier
2020 - 2020 ACM Transactions on Computational Logic ACM
2020 - 2020 Journal of Logical and Algebraic Methods in Programming Elsevier
2018 - 2018 Journal of Logical and Algebraic Methods in Programming (2352-2208) Elsevier

Curso / Disciplina lecionado

Disciplina Curso (Tipo) Instituição / Organização
2022 - 2023 Quantum computing (coordinator) (Mestrado) Universidade do Minho, Portugal
2022 - 2023 Cyber-Physical Computation (coordinator) (Mestrado) Universidade do Minho, Portugal
2022 - 2023 Cyber-Physical Programming (coordinator) (Mestrado) Universidade do Minho, Portugal
2021 - 2022 Quantum computing (Mestrado) Universidade do Minho, Portugal
2021 - 2022 Functional Programming (Licenciatura) Universidade do Minho, Portugal
2021 - 2022 Program Calculus (Licenciatura) Universidade do Minho, Portugal
2021 - 2021 Architecture and Calculi (coordinator) (Mestrado) Universidade do Minho, Portugal
2020 - 2021 Quantum Computing (coordinator) (Doutoramento) Universidade do Minho, Portugal
2020 - 2021 Quantum logic (Mestrado) Universidade do Minho, Portugal
2020 - 2020 Architecture and Calculi (coordinator) (Mestrado) Universidade do Minho, Portugal
2019 - 2020 Quantum Logic (Mestrado) Universidade do Minho, Portugal
2019 - 2020 Laboratorios de Informatica I (Licenciatura) Universidade do Minho, Portugal
2019 - 2020 Program Calculus (Licenciatura) Universidade do Minho, Portugal
2019 - 2019 Cyber-Physical Computation (coordinator) (Doutoramento) Universidade do Minho, Portugal
2017 - 2017 Cálculo de Programas (Licenciatura) Universidade do Minho, Portugal
2015 - 2015 Cálculo de Programas (Licenciatura) Universidade do Minho, Portugal
2014 - 2015 Laboratórios de Informática 1 (Licenciatura) Universidade do Minho, Portugal
Distinções

Outra distinção

2013 Ph.D. grant awarded by the Portuguese Foundation of Science and Technology (FCT)