Renato Neves
categorical logic // programming languages
Assistant Professor @ Department of Informatics, University of Minho
My work revolves around logic, category theory, and programming languages, with applications to cyber-physical, probabilistic, and quantum computation.
Research Topics
- Category Theory
- Categorical Logic
- Programming Languages
- Formal Methods
- Cyber-Physical Systems
- Probabilistic Computation
- Quantum Computation
Publication Selection
-
An Adequate While-Language for Stochastic Hybrid Computation
-
An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
-
The Syntactic Side of Autonomous Categories Enriched Over Generalised Metric Spaces
Teaching Selection
Distinguished three times by the Engineering School for excellence in teaching