???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.
Identification

Personal identification

Full name
RENATO JORGE ARAÚJO NEVES

Citation names

  • Neves, Renato

Author identifiers

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

Email addresses

  • nevrenato@di.uminho.pt (Professional)

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1)
Portuguese (Mother tongue)
Education
Degree Classification
2018/06/22
Concluded
 Minho Aveiro Porto - Informatics (Doutoramento)
Major in Ciências da Computação
Universidade do Minho Escola de Engenharia, Portugal
"Hybrid Programs" (THESIS/DISSERTATION)
 Maximum
2013
Concluded
 Engenharia Informática (Mestrado)
Universidade do Minho Escola de Engenharia, Portugal
"Proof support for Hybridised Logics" (THESIS/DISSERTATION)
 18
Affiliation

Science

Category
Host institution 		Employer
2018/08/01 - Current Postdoc (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
2020/10/01 - 2021 Postdoc (Research) University College London Department of Computer Science, United Kingdom
2014 - 2018 Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2021/09/01 - Current Assistant Professor (University Teacher) Universidade do Minho, Portugal
Universidade do Minho, Portugal
2019/02 - 2020 Invited Assistant Professor (University Teacher) Universidade do Minho, Portugal
2017 - 2017 Invited Assistant Professor (University Teacher) Universidade do Minho, Portugal
2014 - 2015 Invited Assistant Professor (University Teacher) Universidade do Minho, Portugal
Projects

Grant

Designation Funders
2022 - Current Computational effects and high-level control
NA
Co-Principal Investigator (Co-PI)
Haskolinn i Reykjavik, Iceland
 Icelandic Research Fund
Ongoing
2014/01/01 - 2017/12/31 Hybrid Programs
SFRH/BD/52234/2013
PhD Student Fellow
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded

Contract

Designation Funders
2022/01/01 - Current Ibex - Quantitative methods for cyber-physical programming
PTDC/CCI-COM/4280/2021
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2018/08/01 - 2022 Klee - Coalgebraic Modeling and Analysis for Computational Synthetic Biology
POCI-01-0145-FEDER-030947
Post-doc Fellow
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
Concluded
2018 - 2022 DaVinci - Distributed Architectures: Variability and Interaction for Cyber-Physical Systems
POCI-01-0145-FEDER-029946
Researcher
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
Concluded
2020/10/01 - 2021/03/31 Quantitative Algebraic Reasoning of Hybrid Programs
NA
Post-doc Fellow
Research Institute in Verified Trustworthy Software Systems (VeTSS). Hosted at Imperial College, United Kingdom
 Research Institute in Verified Trustworthy Software Systems (VeTSS). Hosted at Imperial College
Concluded
2016/04 - 2019 Dalí - Dynamic logics for cyber-physical systems
POCI-01-0145-FEDER-016692
Researcher
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
Concluded
2016 - 2019 TRUST - Trustworthy Software Design with Alloy
POCI-01-0145-FEDER-016826
Researcher
Office National d’Études et de Recherches Aérospatiales, France

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
Concluded
2013/07/01 - 2013/12/31 NASONI - Heterogenous software coordination: Foundations, methods, tools
info:eu-repo/grantAgreement/FCT/COMPETE/128057/PT
Research Fellow
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
Concluded
2012 - 2012 Mondrian - Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
info:eu-repo/grantAgreement/FCT/5876-PPCDTI/108302/PT
Scientific Initiation Fellow
Universidade do Minho, Portugal

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

Other

Designation Funders
2018/01/01 - 2018/07/31 PT-FLAD Chair in Smart Cities & Smart Governance
PT-FLAD-SmartCities-A-2018
Research Fellow
Universidade do Minho, Portugal
 Altice SA

Fundação Luso-Americana
Concluded
Outputs

Publications

Book chapter
  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
Conference abstract
  1. Neves, Renato; Liu Ai; Sun Meng; Luis S. Barbosa. "Effectful Components and Program Equivalence". Paper presented in 25th International Workshop on Algebraic Development Techniques, 2020.
  2. Neves, Renato; Luis S. Barbosa; Vitor Fernandes. "A type system for simple quantum processes". Paper presented in 26th International Conference on Types for Proofs and Programs, 2020.
  3. Neves, Renato. "Logics and Calculi for Cyber-Physical Components". Paper presented in Algebra and Coalgebra in Computer Science - 6th International Conference CALCO 2015, 2015.
  4. Neves, Renato. "Introducing Hierarchical Hybrid Logic". Paper presented in Advances in Modal Logic, AIML, 2014.
Conference paper
  1. Fredrik Dahlqvist; Renato Neves. "A Complete V-Equational System for Graded lambda-Calculus". Paper presented in MFPS'23, 2023.
    10.46298/entics.12299
  2. Dahlqvist, Fredrik; Neves, Renato. "An Internal Language for Categories Enriched over Generalised Metric Spaces". Paper presented in Computer Science Logic (CSL), 2022.
  3. Sergey Goncharov; Neves, Renato; José Proença. "Implementing Hybrid Semantics: From Functional to Imperative". Paper presented in International Colloquium on Theoretical Aspects of Computing (ICTAC), 2020.
  4. Goncharov, Sergey; Neves, Renato. "An Adequate While-Language for Hybrid Computation". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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?". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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". Paper presented in 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...". Paper presented in 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". Paper presented in Proceedings of the 5th International Conference of Algebra and Coalgebra in Computer Science, 2013.
    10.1007/978-3-642-40206-7_28
Journal article
  1. Dahlqvist, Fredrik; Neves, Renato. "The syntactic side of autonomous categories enriched over generalised metric spaces". Logical methods in computer science (2023):
    In press
  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
Online resource
  1. Neves, Renato; Luis Soares Barbosa; José Proença. Lince - Lightweight protototyping of hybrid programs (software). 2019. http://arcatools.org/assets/index.html#lince.
Thesis / Dissertation
  1. Neves, Renato. "Hybrid Programs". PhD, Universidade do Minho, 2018.
  2. Neves, Renato. "Proof Support for Hybridised Logics". Master, Universidade do Minho, 2013.
Working paper
  1. Neves, Renato; Dahlqvist, Fredrik. 2018. "Compositional semantics for new paradigms: probabilistic, hybrid and beyond".

Other

Other output
  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.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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, Germany)
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, Norway)
2022 An Internal Language for Categories Enriched over Generalised Metric Spaces (Invited talk) C. S. Theory Seminar
(Tallinn, Estonia)
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, Japan)
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

Supervision

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

Event organisation

Event name
Type of event (Role) 		Institution / Organization
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)
Other (Co-organisor)
 International Iberian Nanotechnology Laboratory, Portugal
2020 - 2021 Workshop in the UNESCO World Logic Day (2021 - 2021)
Workshop (Co-organisor)
 University College London Department of Computer Science, United Kingdom
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

Event participation

Activity description
Type of event 		Event name
Institution / Organization
2018/10 - Current IBM - QuantaLab school on Quantum Computing
International Iberian Nanotechnology Laboratory, Portugal
2015 - Current Summer school on Topology driven methods for complex systems
Università degli Studi di Camerino, Italy
2014 - Current Winter school on Logics for Dynamical Systems
École normale supérieure de Lyon, France
2013 - Current Summer school on Cyber Physical Systems
Persyval-Lab, France
2013 - Current Midlands graduate school (Mathematical Foundations of Computing Science)
University of Leicester, United Kingdom
2010 - Current Course on Lecturing
Bee Consulting, Portugal

Conference scientific committee

Conference name Conference host
2024 - Current ICEDEG 2024 - Tenth International Conference on eDemocracy & eGovernment.
2024 - Current 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

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
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

Journal scientific committee

Journal title (ISSN) Publisher
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
Distinctions

Other distinction

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