Departamento de Informática (UM)

Página institucional

5832

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosGabinete

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: Nenhuma atribuída actualmente

Aulas:

Serviço

  • Professor Auxiliar, U. Minho, 2021-
  • Investigador INESC-TEC (HASLab), 2018-
  • Investigador University College London, 2020-2021

[ Quadro de todo o pessoal do DIUM ]