Renato Neves

Renato Neves

Postdoc Researcher

HasLAB / INESC TEC

My overarching focus is on the development of reasoning tools, syntax, and semantics for cyber-physical systems, a highly interesting class of devices that intertwines different aspects of analysis, control theory, and computer science. Cyber-physical 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.

Interests

  • monadic-based programming
  • automata theory and coalgebra
  • modal and dynamic logic
  • category theory

Latest