I will give an overview of our work on the theoretical foundations of runtime verification over the past few years. Monitorability, i.e. the amenability of a specification to verification by monitors, has been a central theme in our work. I will demonstrate the insights that we have gained about its meaning and properties. Another theme that I will focus on is extending our monitoring framework to different settings. The goal is to verify more properties. We choose to use an operational approach and an expressive logic with a linear-time and a branching-time interpretation. I will explain how these decisions inform our work.

Antonis is an assistant professor at the Department of Computer Science of Reykjavik University. He defended his PhD on the complexity properties of multi-agent justification logic at the Graduate Center of CUNY in 2015. His research interests include the theory of runtime verification and monitorability, modal logic, and complexity theory.