معرفی
Renato Jorge Neves is a Senior Researcher at the University of Minho and an Auxiliar Professor affiliated with the High-Assurance Software Centre (INESC TEC). His research focuses on the foundations of cyber-physical systems, quantum computing, and programming language semantics. He holds a PhD from the MAP-i doctoral program, specializing in logics and calculi for cyber-physical components.
His academic contributions span coalgebraic methods, proof theory, and institutional frameworks. He has led and participated in projects such as Ibex (quantitative cyber-physical programming) and CTRL-F (computational effects). He teaches courses on cyber-physical systems, quantum computing, and program calculus at the University of Minho.
Neves has supervised multiple theses, including works on quantum language integration (e.g., iQbricks) and hybrid system simulation. His recent publications explore quantitative lambda-theories, metric-enriched categories, and probabilistic concurrency models. He actively engages in academic service, including invited talks at FACS'22 and contributions to venues like CSL, CONCUR, and TCS.
