Completed projects

Here are our past projects.

• Luca Aceto, The equational logic of parallel processes, IRF project grant, 2006-2008
• Luca Aceto, New developments in operational semantics, IRF project grant, 2008-2010
• Luca Aceto, Meta-theory of algebraic process theories, IRF project grant, 2010-2012
  summary of results
• Luca Aceto, Nominal structural operational semantics, IRF project grant, 2014-2016
• Luca Aceto, Theoretical foundations for monitorability (TheoFoMon), IRF project grant, 2016-2018
  project page, summary of results
• Luca Aceto, Open problems in the equational logic of processes (OPEL), IRF project grant, 2019-2021
  project page, summary of results
• Antonis Achilleos, Epistemic logic for distributed monitoring, IRF postdoctoral grant, 2018-2019
  summary of results
• Antonis Achilleos, Mode(l)s of verification and monitorability (MoveMnt), IRF project grant, 2021-2023
  project page
• Elli Anastasiadi, Runtime and equational verification of concurrent programs, RU Research Fund PhD student grant, 2022
• Duncan Paul Attard, Ensuring correctness in distributed systems, RU Research Fund PhD student grant, 2019-2020
• Duncan Paul Attard, Ensuring correctness in distributed systems, IRF doctoral student grant, 2020-2021
• Duncan Paul Attard, Ensuring correctness in distributed systems, RU Research Fund Covid-19 grant, 2022
• Christian Bean, Combinatorial exploration and permutation classes, IRF postdoctoral grant, 2020-2022
• Arnar Birgisson, Compositionality for logics of security, Icelandic Research Fund for Graduate Students study grant, 2008
• Ian Cassar, Developing theoretical foundations for runtime enforcement, IRF doctoral student grant, 2018-2019
• Valentina Castiglioni, Programs in the wild: uncertainties, adaptability and verification (ULTRON), IRF postdoctoral grant, 2022-2023
  project page, summary of results
• initially 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
• Dario Della Monica, Decidability and expressiveness of interval temporal logics, IRF postdoctoral grant, 2013-2014
  / summary of results
• Maxime Flin, Distributed graph coloring in constrained models, IRF doctoral student grant, 2023-2025
• Eugen Ioan Goriac, Extending and axiomatizing structural operational semantics: theory and tools, Icelandic Research Fund for Graduate Students study grant, 2011
• Magnús Már Halldórsson, Hypergraph coloring, IRF project grant, 2005-2006
  summary of results
• Magnús Már Halldórsson, Scheduling split intervals, IRF project grant, 2006-2007
• Magnús Már Halldórsson, Parameterized algorithms in hypergraphs, IRF project grant, 2007-2008
• Magnús Már Halldórsson, Algorithms for ad-hoc and sensor networks, IRF project grant, 2009-2011
  summary of results
• Magnús Már Halldórsson, Design of ad-hoc wireless networks, IRF grant of excellence, 2012-2014
  summary of results
• Magnús Már Halldórsson, Models of unreliability and dynamics in wireless networks, IRF project grant, 2015-2017
• Magnús Már Halldórsson, Post-modern models of wireless algorithms, IRF project grant, 2017-2019
  summary of results
• Magnús Már Halldórsson, Constrained distributed symmetry breaking, IRF project grant, 2021-2023
  project page
• Anna Ingólfsdóttir, Processes and modal logics (PROMOLO), IRF project grant, 2010-2012
  summary of results
• Anna Ingólfsdóttir, Learning and applying probabilistic systems, IRF project grant, 2020-2022
• Ali Jafari, Timed asynchronous reactive objects in distributed systems, Icelandic Research Fund for Graduate Students study grant, 2012
• Kristján Valur Jónsson, Scalable, distributed security policy enforcement for Web applications, Icelandic Research Fund for Graduate Students study grant, 2008
• 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
• Émile Nadeau, Extending the Combex framework, RU Research Fund PhD student grant, 2021
• Émile Nadeau, Extending the Combex framework, RU Research Fund Covid-19 grant, 2022
• Marjan Sirjani, Timed asynchronous reactive objects in distributed systems (TARO), IRF project grant, 2011-2013
  summary of results
• Marjan Sirjani, SEADA-Pilot, IRF project grant, 2016-2018
  summary of results
• Einar Steingrímsson, Permutation patterns, IRF grant of excellence, 2006-2008
• Einar Steingrímsson, Permutations, patterns and algebras, IRF project grant, 2008-2010
• Einar Steingrímsson, Combinatorics on permutations and words, IRF grant of excellence, 2009-2011
• Henning Úlfarsson, Finding structure in sets of permutations, IRF project grant, 2014-2016
  summary of results
• Henning Úlfarsson, Combinatorial exploration with applications to permutation patterns and other structures, RU Research Fund PhD student grant, 2019-2020 (used for Émile Nadeau)
• Tarmo Uustalu, Quantified computational effects and interaction, IRF project grant, 2019-2021
  project page, summary of results
• 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-2026
  project page
• Ýmir Vigfússon, Detecting outbreaks with mobile phone data, IRF project grant, 2015-2017
• Jasmine Xuereb, Extending the limits of runtime verification, RU Research Fund PhD student grant, 2023-2025