| N.Mec. | Nome | Categoria | Grupo Científico-Pedagógico | Contactos | Espaço |
|---|
5832 | Renato Jorge Araújo Neves | Prof. Auxiliar | Lógica e Métodos Formais | E-mail
Ext.: +604445 | E7-2.26 |
Qualificações: 2013 - Mestrado em Mestrado em Engenharia Informática (UMinho); 2018 - Doutoramento em Ciências da Computação (MAP-i) | Página pessoal: http://alfa.di.uminho.pt/~nevrenato |
Investigação | Centro | HASLab | Repositórios | ORCID | Scopus | DBLP |
Publicações selecionadas | - An Internal Language for Categories Enriched over Generalised Metric Spaces (with Fredrik Dahlqvist). CSL'22
- Implementing Hybrid Semantics (with Sergey Goncharov and José Proença). ICTAC'20
- An Adequate While-Language for Hybrid Computation (with Sergey Goncharov). PPDP'19
- A Semantics for Hybrid Iteration (with Sergey Goncharov and Julian Jakob). CONCUR'18
- Limits in Categories of Vietoris Coalgebras (with Dirk Hofmann and Pedro Nora). MSCS'18
|
Projetos | - IBEX - Quantitative methods for cyber-physical programming hosted at INESC-TEC (PI) 2022-2024
- Computational effects and high-level control (CTRL-F) hosted at Reykjavik University (co-PI) 2022-2024
- Quantitative equational theories and quantitative program semantics hosted at University College London (co-I) 2020-2021
- Coalgebraic Modeling and Analysis for Computational Synthetic Biology hosted at INESC-TEC (co-I) 2018 - 2021
- Distributed Architectures: Variability and Interaction for Cyber-Physical Systems hosted at INESC-TEC 2018 - 2021
|
Docência | Regências: | Aulas: - Algoritmos e Complexidade [H503N6]: turnos TP 2 e TP 3
- Algoritmos e Complexidade [J303N6]: turnos TP 2 e TP 3
- Programação Ciber-Física [ME78ME7800006551]: turnos T 1 e TP 1
- Computação Ciber-Física [ME80ME8002006775]: turnos T 1 e TP 1
- Modelação e Análise Avançadas de Sistemas [ME87ME8704007099]: turnos PL 1 e T 1
|
Serviço | - Professor Auxiliar, U. Minho, 2021-
- Investigador INESC-TEC (HASLab), 2018-
- Investigador University College London, 2020-2021
|
Departamento de Informática (UM)