Lince: Lightweight Prototyping of Hybrid Programs


Hybrid programs combine classical program constructs with differential equations, and thus naturally appear in a wide range of application domains, from biology and control theory to software engineering. This ability to entangle discrete and continuous behaviour, however, yields aspects unusual to computer science and renders the formal design of hybrid programs a difficult task, not properly handled by the current programming theory and practices.

Renato Neves
Renato Neves
Postdoc Researcher

Renato Neves is a postdoctoral researcher at UCL and INESC TEC. One of his main goals is the development of reasoning tools, syntax, and semantics for hybrid systems, a highly complex class of devices that intertwines different aspects of analysis, control theory, and computer science. Hybrid 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. His collaborators and him have been tackling this challenge by applying and advancing different mathematical frameworks. In particular, monad-based programming, automata theory, coalgebra, modal and dynamic logic, and category theory.