Renato Neves

Renato Neves is an Assistant Professor at the University of Minho's Department of Informatics. His research focuses on Quantum Computing, Cyber-Physical Systems, and Programming Languages, with an emphasis on formal semantics and hybrid systems. He has contributed to foundational work in category theory applied to computational models and has led multiple research projects in quantum software engineering and formal methods.

• Education: Ph.D. in Computer Science (not explicitly stated but inferred from research output)

His teaching includes courses on Quantum Computing and Cyber-Physical Systems at the undergraduate and doctoral levels. He has been principal investigator (PI) or co-investigator (co-I) on projects like Ibex (2022-2024) and CTRL-F (2022-2025), advancing computational methods in quantum and hybrid systems.

Key research themes include hybrid automata, coalgebraic semantics, and formal verification. His work bridges theoretical computer science with practical applications in programming languages and quantum software engineering.