email: antonios X ru Y is (you know what X and Y are)
I am a postdoctoral researcher at Reykjavik University.
I have received a postdoctoral grant from the Icelandic Research Fund for the project Epistemic Logic for Distributed Monitoring.
I received my PhD from the Graduate Center of the City University of New York in 2015, under the supervision of Sergei Artemov. My thesis was on the complexity of families of multi-agent justification logics.
So far, my research has mostly revolved around Runtime Verification and Justification and Modal Logic and their complexity.
You can find my CV here.