Scholar
Antonis Achilleos
Google Scholar ID: x-U45WoAAAAJ
Reykjavik University
Citations & Impact
Citations
398
H-index
10
i10-index
10
Publications
20
Co-authors
9
list available
Contact
Publications
Resume (English only)
Academic Achievements
- In the PC for VORTEX 2025 (extended deadline May 4), RADICAL 2025 (deadline May 30), EXPRESS/SOS 2025 (deadline June 3), and CSL 2026 (abstract deadline July 15).
Research Experience
- Currently an associate professor at the Department of Computer Science, Reykjavik University. Before joining RU, he received a postdoctoral grant from the Icelandic Research Fund for the project Epistemic Logic for Distributed Monitoring; even before that, worked as a postdoc on the project Theoretical Foundations of Monitorability by Luca Aceto, Adrian Francalanza, and Anna Ingólfsdóttir.
Education
- Received a PhD from the Graduate Center of the City University of New York in 2015, supervised by Sergei Artemov. The thesis was on the complexity of families of multi-agent justification logics.
Background
- Research interests revolve around Runtime Verification, and Justification and Modal Logic and their complexity.
