Renato Neves

Auxiliar Professor at University of Minho

Contacts and information

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

Research Topics (Cyber-Physical and Quantum)

One of my main foci is 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 other main focus is quantum computing. Specifically, the development of suitable (quantitative) semantics that, among other things, tracks the use of computational resources by a quantum program. Quantum computing is a computational paradigm with the potential to provide remarkable speedups to certain families of computational problems. However, quantum programs are still highly susceptible to noise (correlated with the use of certain computational resources) which hinders their application to real-world problems.

Selected Publications

An Internal Language for Categories Enriched over Generalised Metric Spaces (with Fredrik Dahlqvist). CSL'22 [link]
Implementing Hybrid Semantics (with Sergey Goncharov and José Proença). ICTAC'20 [link, Online Tool]
An Adequate While-Language for Hybrid Computation (with Sergey Goncharov). PPDP'19 [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]

Google Scholar, DBLP, ResearchGate.

Recent Funded Projects

Ibex Quantitative methods for cyber-physical programming (PI) (2022-2024).
CTRL-F Computational effects and high-level control (co-PI) (2022-2025).
TimedQ Timing constraints in quantum progr. languages (supervision of a FCT-funded PhD student) (2020-2023).
VetssQ Quantitative equational theories and quantitative program semantics (co-I) (2020-2021).
Klee Coalgebraic Modeling and Analysis for Computational Synthetic Biology (co-I) (2018 - 2021).

Recent Teaching

Quantum Computing For MSc students; fundamental concepts of Quantum Computing (2021-22)
Quantum Comp. @ MAP-i For PhD students; fundamental concepts and formal methods in Quantum Computing (2020-21)
Quantum Logic For MSc students; logics, semantics, and calculi for Quantum Computing (2019-20, 2020-21)
Architecture and Calculi For MSc students; core concepts of concurrency (2019-20, 2020-21)
CyPhy. Comp. @ MAP-i For PhD students; program semantics and analysis for cyber-physical systems (2019-20)
Program calculus For BSc students; program semantics and calculi (2018-19, 2019-20, 2021-22)
Functional Progr. For BSc students; a first introduction to the concepts of functional programming (2021-22)
Inf. Labs I For BSc students; a first introduction to programming (2019-20)

Last update: 24/01/2022.