Research Topics
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. My collaborators and I have been tackling this challenge by applying and advancing different mathematical frameworks. In particular,
- monadic-based programming,
- automata theory and coalgebra,
- modal and dynamic logic,
- category theory.
Selected Publications
| Hybrid Programs. PhD Thesis. [link] |
| A Semantics for Hybrid Iteration (with Sergey Goncharov and Julian Jakob). CONCUR'18. [link] |
| Limits in Categories of Vietoris Coalgebras (with Dirk Hofmann and Pedro Nora). MSCS'18. [link] |
| Languages and Models for Hybrid Automata: A coalgebraic perspective (with Luís Barbosa). TCS'17. [link] |
| Continuity as a Computational Effect (with Luís Barbosa, Dirk Hofmann, and Manuel Martins). JLAMP'16. [link] |
Google Scholar, DBLP, ResearchGate.
Current Projects
| Klee | Coalgebraic Modeling and Analysis for Computational Synthetic Biology (2018 - 2020). |
| DaVinci | Distributed Architectures: Variability and Interaction for Cyber-Physical Systems (2018 - 2020). |
| Dalí | Dynamic logics for cyber-physical systems: towards contract based design (2016 - 2019). |