Deild:  


Antonios Achilleos

School:School of Technology / Department of Computer Science 
Phone: 
Email:antoniosru.is 
Website:https://www.ru.is/haskolinn/starfsfolk/antonios

RU teaching record

2024-1T-505-ROKFLogic in Computer Science
2024-1T-419-STR2Discrete Mathematics II
2023-3T-519-STORTheory of Computation
2023-1T-419-STR2Discrete Mathematics II
2022-3T-999-PHDTPhD Thesis in Computer Science
2022-3T-879-MSRSMSc Research
2022-3T-519-STORTheory of Computation
2022-1T-707-MOVEModeling and Verification
2022-1T-879-MSRSMSc Research
2022-1T-505-ROKFLogic in Computer Science
2022-1T-419-STR2Discrete Mathematics II
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.