Current projects
These here are our current projects.
-
Luca Aceto, Hyperlogics: expressiveness, monitorability and
tools (H.-Lo), IRF project grant, 2026-2028
-
Reed Acton, Moving from objects to transformations to account
for the finer structures of permutations,
IRF doctoral student grant, 2025-2027
-
Arnar Bjarni Arnarson, Rigorous null models for network
science, RU Research Fund PhD student grant, 2025
-
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-2027
-
Tarmo Uustalu, Icelandic advantage in computer-assisted proof
(IceProof), Collaboration Fund grant, 2024-2026
project page
Last update 12 February 2026