My DBLP page can be found here. Below is a list of all my works, with links to current available versions.

Journal Publications

Conference Publications

Under Review

  • Book chapter - Complexity results for modal logic with recursion via translations and tableaux

Workshop and Informal Publicationns

  • PLS 2022 - Epistemic logic for verifying runtime verification communication protocols Online proceedings
  • NWPT 2021 - Monitoring Hyperproperties using circuis - Online proceedings pending. With Luca Aceto, Antonis Achilleos and Adrian Francalanza.
  • NWPT 2019 - Axiomatizing equivalences over regular monitors. With Luca Aceto and Anna Ingolfsdottir Online proceedings
  • PLS 2019 - An Axiomatization of Verdict Equivalence over (Closed) Regular Monitors. With Luca Aceto and Anna Ingolfsdottir

Working on

  • Epistemic logic for message parsing parallel monitors
  • An infinite axiomatic basis for Millner's CCS
  • Parameterized Fine-Grained Reductions. [PDF]



  • An introduction for newcomers at Reykjavik University. See [PDF].