Antonis Achilleos

Assistant professor
Department of Computer Science, Reykjavik University 

email:    antonios AT ru DOT is 

Google scholar 

DBLP 

CV


MoVeMnt

ICE-TCS

SLS

We have a running project called MoVeMnt

Before this position, I had received a postdoctoral grant from the Icelandic Research Fund for the project Epistemic Logic for Distributed Monitoring. 

Even before that, I worked as a postdoc on the project Theoretical 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 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. 

News 

We are hosting the First Reykjavik Summer of Cool Logic (SCooL 2024) this coming June!
https://scool24.github.io/ 

SCooL includes the Nordic Logic Summer School  (10-13/6), the Scandinavian Logic Summer School (14-16/6), and GandALF 2024 (19-21/6). Follow the link above for more information, and join us if you can!