Current projects
These here are our current projects.
-
Antonis Achilleos, Mode(l)s of verification and monitorability
(MoveMnt), IRF project grant, 2021-2023
project page
- Valentina Castiglioni, Dylan McDermott (MC members),
European Research Network on Formal Proofs (EuroProofNet),
EU COST action, 11 Oct. 2021-10 Oct. 2025
project page
-
Maxime Flin, Distributed graph coloring in constrained
models, IRF doctoral student grant, 2023-2024
-
Magnús Már Halldórsson, Constrained distributed symmetry
breaking, IRF project grant, 2021-2023
-
Vasiliki Kyriakou, Explorability: effects of constraining
nondeterminism on expressivity and algorithms, RU Research
Fund PhD student grant, 2024
-
Yasuaki Morita, Multi-language semantics for Wasm, RU
Research Fund PhD student grant, 2023-2024
-
Tarmo Uustalu, Computational effects and high-level control
(CTRL-F), IRF project grant, 2022-2024
project page
-
Tarmo Uustalu, Icelandic advantage in computer-assisted proof
(IceProof), Collaboration Fund grant, 2024-2025
project page
-
Jasmine Xuereb, Extending the limits of runtime
verification, RU Research Fund PhD student grant, 2023-2024
Last update 5 June 2024