ISSTA/ECOOP 2024 (series) / Antonis Achilleos
![Antonis Achilleos](https://conf.researchr.org/getProfileImage/antonisachilleos/4f8d9add-ba6c-4b7a-b0c4-d653966e3e77/small.jpg?1718751063000)
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
Using general profile