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
I am involved with the following events in 2023. Consider submitting a paper:
I co-chair the PC for GandALF 2023. GandALF is part of the Udine Summer of Logic and Computation.
PC member for RADICAL 2023.
PC member for VORTEX 2023.
We organized the Logic Colloquium 2022 in Reykjavik