ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Antonis Achilleos

Not registered as user yet

Name:Antonis Achilleos

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


VORTEX 2022 To Monitorability and Beyond (online talk)
Show activities from other conferences

ECOOP 2022-profile
View general profile