Antonis Achilleos

I am a postdoctoral researcher at Reykjavik University. I´m working on the project Foundations of Monitorability by Luca Aceto, Adrian Francalanza, and Anna Ingólfsdóttir. 

I received my PhD from the Graduate Center of the City University of New York, under the supervision of Sergei Artemov.

So far, my research has mostly revolved around Runtime Verification and Justification and Modal Logic and their complexity.