Not registered as user yet
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.
|VORTEX 2022||To Monitorability and Beyond (online talk)|
|Show activities from other conferences|
View general profile