Antonis Achilleos

Registered user since Tue 29 Aug 2023

Name:Antonis Achilleos
Bio:

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.

Affiliation:Reykjavik University

Contributions

Show activities from other conferences

NWPT 2023 - 34th Nordic Workshop on Programming Theory -profile
View general profile