Renato Neves

Auxiliar Professor at University of Minho

Contacts and information

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

Please see my CV for a detailed report of my work

Research Topics: Quantum and Cyber-Physical

My main focus is on (quantitative) syntax and semantics of programming languages, typically in the setting of cyber-physical and quantum computing


I'll give an invited talk @ FACS'22
New manuscript about quantitative lambda-theories available

Selected Publications

An Internal Language for Categories Enriched over Generalised Metric Spaces (with F. Dahlqvist). CSL'22 link
Implementing Hybrid Semantics (with S. Goncharov and J. Proença). ICTAC'20 link
An Adequate While-Language for Hybrid Computation (with S. Goncharov). PPDP'19 link
A Semantics for Hybrid Iteration (with S. Goncharov and J. Jakob). CONCUR'18 link
Limits in Categories of Vietoris Coalgebras (with D. Hofmann and P. Nora). MSCS'18 link
Languages and Models for Hybrid Automata: A coalgebraic perspective (with L. Barbosa). TCS'17 link

Google Scholar, DBLP

Some 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
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

Some Recent Teaching

Cyber-Physical Comp. Fundamental concepts of cyber-physical systems 2021-22, 2022-23
Quantum Comp. Fundamental concepts of quantum algorithmics 2021-22, 2022-23
Program calculus General program semantics and calculi 2021-22
Quantum Comp. @ M Fundamental concepts and formal methods in quantum computing 2020-21
Quantum Logic Logics, semantics, and calculi for quantum computing 2020-21

Last update: 01/09/2022