ECOOP 2022 (series) / Antonis Achilleos
![Antonis Achilleos](https://2022.ecoop.org/getProfileImage/antonisachilleos/ccfdbdf7-ed06-4a32-bec1-95fd58858fa5/small.jpg?1718751064000)
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
Personal website: https://sites.google.com/view/antonisachilleos
Contributions
2022
ECOOP 2022-profile
View general profile
View general profile