
| 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 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: FCT, PTDC/CCI-COM/4280/2021)
- 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
|
Docência | Regências: | Aulas: |
Serviço | - Professor Auxiliar, U. Minho, 2021-
- Investigador INESC-TEC (HASLab), 2018-
- Investigador University College London, 2020-2021
|