Antonis Achilleos

Antonis Achilleos is Assistant Professor in the Department of Computer Science at Reykjavik University. His research centers on runtime verification, justification logic, modal logic, and computational complexity. Previously funded by an Icelandic Research Fund grant for 'Epistemic Logic for Distributed Monitoring', Achilleos investigates theoretical foundations of monitorability and verification frameworks.

He completed his PhD at CUNY Graduate Center under Sergei Artemov, focusing on complexity in multi-agent justification logics. Current work extends to epistemic logic applications in distributed systems monitoring and formal methods for concurrent processes.