Renato Neves

Postdoctoral researcher at University of Minho & INESC TEC


nev(first name) // nev(first name)

Research Topics

My overarching focus is on the development of reasoning tools, syntax, and semantics for cyber-physical systems, a highly interesting class of devices that intertwines different aspects of analysis, control theory, and computer science. Cyber-physical systems are a main ingredient in the 21st century's technology, but even so they are still remarkably difficult to design and analyse in a systematic and disciplined way. My collaborators and I have been tackling this challenge by applying and advancing different mathematical frameworks. In particular,

Selected Publications

Hybrid Programs. PhD Thesis. [link]
A Semantics for Hybrid Iteration (with Sergey Goncharov and Julian Jakob). CONCUR'18. [link]
Limits in Categories of Vietoris Coalgebras (with Dirk Hofmann and Pedro Nora). MSCS'18. [link]
Languages and Models for Hybrid Automata: A coalgebraic perspective (with Luís Barbosa). TCS'17. [link]
Continuity as a Computational Effect (with Luís Barbosa, Dirk Hofmann, and Manuel Martins). JLAMP'16. [link]

Google Scholar, DBLP, ResearchGate.

Current Projects

Klee Coalgebraic Modeling and Analysis for Computational Synthetic Biology (2018 - 2020).
DaVinci Distributed Architectures: Variability and Interaction for Cyber-Physical Systems (2018 - 2020).
Dalí Dynamic logics for cyber-physical systems: towards contract based design (2016 - 2019).

Please see my CV for more details (e.g. teaching, supervisions, full publications list)