Deild:  


Antonios Achilleos, Postdoc

School:School of Computer Science 
Phone: 
Email:antoniosru.is 
Website:http://www.ru.is/starfsfolk/antonios

RU teaching record

2018-3T-519-STORTheory of Computation
2018-1T-505-ROKFLogic in Computer Science
2017-3T-519-STORTheory of Computation
More...

Other

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.