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
-
Reed Acton, Moving from objects to transformations to account
for the finer structures of permutations,
IRF doctoral student grant, 2025-...
- first Valentina Castiglioni, Dylan McDermott, then Joseph
Tooby-Smith, Tarmo Uustalu (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-2025
-
Magnús Már Halldórsson, Constrained distributed symmetry
breaking, IRF project grant, 2021-2023
-
Magnús Már Halldórsson, Comparative complexity via
coloring, IRF project grant, 2025-2027
-
Vasiliki Kyriakou, Effects of restrictive non-determinism
on the expressiveness and relative complexity of bounded memory automata,
IRF doctoral student grant, 2025-...
-
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 18 January 2025