Funded projects

Projects from competitive funding agencies having ICE-TCS members as (co-)PIs, roughly in reverse chronological order.

• 14 January 2022: Two projects led by ICE-TCS researchers have been selected for funding by the Icelandic Research Fund in their call for 2022. Tarmo Uustalu received funding for his three-year project "Computational effects and high-level control" (approximately 145K Euro per year) and Valentina castiglioni received a three-year postdoctoral grant for her project "Programs in the wild: Uncertainties, adaptability and verification" (roughly 80.2K Euro per year). The list of all funded projects is here. Congratulations to Tarmo and Valentina!
• 3 February 2021: ICE-TCS PhD student Émile Nadeau has received a PhD grant for the project "Extending the Combex framework" from the Reykjavik University Research Fund. The grant is worth ISK 5,748,000 (approximately 37,100 EUR).
• Friday, 15 January 2021: ICE-TCS researchers are involved in all the three project grants awarded in the field of Computer Science by the Icelandic Research Fund today. (See here for the list of all the awarded projects.) More specifically,
  • Antonis Achilleos (PI), Luca Aceto (co-PI) and Anna Ingolfsdottir (co-PI) received roughly 369K EUR for the project "Mode(l)s of Verification and Monitorability";
  • Magnus M. Halldorsson received funding for his project "Skorðuð dreifð netalitun".
  Both projects are for the period 2021-2023.
  In addition, Luca Aceto is also a participant in the project led by Mohammad Adnan Hamdaqa.
  Congratulations to ICE-TCS!
• Friday, 7 February 2020: ICE-TCS researchers Duncan Paul Attard, Anna Ingolfsdottir and Henning Úlfarsson have received grants from the Reykjavik University Research Fund for 2020. The total amount of the grants is 16,920,000 ISK (roughly 122,969 EUR). Congratulations!
• 15 January 2020: Christian Bean has received the only grant awarded in the field of computer science by the Icelandic Research Fund in 2020. Christian's project is titled "Fléttufræðileg könnun og umraðanaflokkar" and will receive 9,775K ISK, which is roughly 71,500 EUR. Congratulations to Christian!
• Wednesday, 6 March 2019: The three-year project IT MATTERS: Methods and Tools for Trustworthy Smart Systems has been selected for funding by the Italian Ministry for University and Research under the grant programme PRIN. The project sees the involvement of Luca Aceto, who leads the team from the Gran Sasso Science Institute. The funding for Luca Aceto's team is of 156,000 EUR.
• Tuesday, 12 February 2019: The RU Research Fund has awarded Duncan Paul Attard a Ph.D. Student Grant for a period of one year for the research project Ensuring Correctness in Distributed Systems. The grant amounts to 5,340,000 ISK (roughly, 39,349 euro).
• Thursday, 10 January 2019: Two ICE-TCS researchers have received the only project grants awarded in computer science by the Icelandic Research Fund for 2019. (See here in Icelandic.) The grants, which are for the period 2019-2021, are:
  • Open problems in the Equational Logic of Processes (Luca Aceto, PI; Anna Ingolfsdottir, Bas Luttik and Alexandra Silva co-proposers; 54,525 K ISK, roughly 395,962 EUR) and
  • Quantified computational effects and interaction (Tarmo Uustalu PI, Shin-ya Katsumata (NII) and Maciej Piróg (Wrocław U.) co-proposers; 48,900 K ISK, roughly 355,011 EUR).
  Congratulations to ICE-TCS!
• Friday, 19 October 2018: Luca Aceto and Anna Ingólfsdóttir have been awarded a PhD Student Grant from the Reykjavik University Research Fund for the research project Open problems in the Equational Logic of Processes. The grant amounts to 5,340K ISK for one year (roughly 40K euros).
• Monday, 22 January 2018: ICE-TCS researchers have been awarded two grants by the Icelandic Research Fund in response to the call for applications for the year 2018.
  • Antonis Achilleos received 29,987K ISK (approximately 237,800 EUR) for a three-year postdoctoral grant.
  • Ian Cassar received 9,600K ISK (approximately 76,130 EUR) for a two-year doctoral grant.
• Monday, 16 January 2017: The project Nýjar víddir í reikniritum fyrir þráðlaus net (New horizons in algorithms for wireless networks) with Magnús Már Halldórsson as PI has been funded by the Icelandic Research Fund. The funding for the project is of 15,625,000 ISK (roughly 129,323 Euros).
• Monday, 21 March 2016: ICE-TCS researchers have received the only two project grants awarded by the Icelandic Research Fund for 2016 within the field of computer science. The two awarded grants are:
  • TheoFoMon: Theoretical Foundations for Monitorability (Luca Aceto, PI; Adrian Francalanza and Anna Ingolfsdottir co-proposers; 23,917 K ISK, roughly 170,337 EUR).
  • SEADA-Pilot (Marjan Sirjani, PI).
• Tuesday, 13 January 2015: Researchers affiliated with ICE-TCS have been awarded three grants by the Icelandic Research Fund for 2015. The funded projects are:
  • Magnús Már Halldórsson (with Eyjólfur Ingi Ásgeirsson, Marijke Hilde Lore Bodlaender and Roger Wattenhofer). Models of Unreliability and Dynamics in Wireless Networks. Amount: 9,264,000 ISK.
  • Páll Melsted (University of Iceland, together with Lior Samuel Pachter). Streaming algorithms for whole genome assembly. Amount: 9,950,000 ISK.
  • Ýmir Vigfússon (with Leon Danon and Guðrún Sigmundsdóttir). Detecting outbreaks with mobile phone data. Amount: 9,240,000 ISK.
  These were the only grants awarded in the field of computer science this year. Full details are here (in Icelandic).
• Monday, 10 February 2014: The project Formal Methods for the Development and Evaluation of Sustainable Systems has been approved for funding under the Programme NILS Science and Sustainability (Abel - Coordinated Mobility for Researchers) as part of the research within Priority Sectors Programme of the EEA Grants Framework. The project is a collaboration between Reykjavik University and Universidad Complutense de Madrid, and is led by Luca Aceto and Anna Ingolfsdottir (ICE-TCS) and David de Frutos Escrig (UCM). The total funding is 100,050 € for 2014-2015.
• Thursday, 16 January 2014: ICE-TCS researchers have been awarded two of the nine project grants in Engineering, Technical Science and Physical Sciences for 2014 of the Icelandic Research Fund. The funded projects are:
  • Finding structure in sets of permutations (Henning A. Ulfarsson PI; Michael H. Albert, Anders Karl Claesson co-proposers; 9,790 K ISK for the first year of three) and
  • Nominal Structural Operational Semantics (Luca Aceto, PI; Anna Ingolfsdottir, MohammadReza Mousavi and Davide Sangiorgi co-proposers; 9,306 K ISK for the first year of three).
  The list of projects selected for funding is here.
• Wednesday, 16 January 2013: The following members of ICE-TCS have received funding from the Icelandic Research Fund:
  • Dario Della Monica for the project Decidability and Expressiveness for Interval Temporal Logics (4,690K ISK) and
  • Yngvi Björnsson for the project Simulation- and Heuristic-Based Search in General Game Playing and Beyond (10,340K ISK).
• Tuesday 20 December 2011: Eyjólfur Ingi Ásgeirsson has been awarded a grant by the Icelandic Technology Development Fund for the project Týndi hlekkurinn. See here for the list of funded projects.
• Monday, 19 December 2011: The project Design of Ad-Hoc Wireless Networks, which has Magnús M. Halldórsson as PI and sees the participation of ICE-TCS members Pradipta Mitra, Eyjolfur Asgeirsson, Henning Ulfarsson and Ymir Vigfusson, has been awarded an excellence grant worth 15,670,000 ISK per year for a period of three years by The Icelandic Research Fund.
• Monday, 20 June 2011: Eugen-Ioan Goriac has been awarded a competitive PhD scholarship from the Icelandic Research Fund. The grant amounts to 6,720,000 ISK over a period of two years. There were 114 applications and 11 were funded.
• Friday, 13 May 2011: Georgiana Caltais, one of the PhD students at ICE-TCS, has been awarded a competitive three-month grant for an internship at CWI.
• Tuesday, 29 June 2010: ICE-TCS has received a Reykjavik University Development Grant for supporting a one-month visiting professorship and organizing a scientific workshop at Reykjavik University. The amount is of 1,500,000 ISK.
• Thursday, 24 June 2010: Jon Ingi Sveinbjornsson has been awarded one of the doctoral grants from Rannis. Jon Ingi will be working on his thesis at Reykjavik University under the supervision of Bjarni Halldorsson. The award is of 6,095,000 ISK.
• Saturday, 19 June 2010: Luca Q. Zamboni has been selected by the Academy of Finland as one of 9 researchers in their Finnish Distinguished Professor Program (FiDiPro). His proposal is in Combinatorics on Words with a budget of 3 million euros for 5 years.
• Friday, 9 April 2010: ICE-TCS has secured three of the Abel Extraordinary Chairs awarded after the third call for applications. The awards are:
  • Luca Aceto (two months; total grant: 13,600 euro; host: David de Frutos Escrig, Universidad Complutense Madrid),
  • Anna Ingolfsdottir (two weeks; total grant: 3,500 euro; host: David de Frutos Escrig, Universidad Complutense Madrid), and
  • Sergey Kitaev (six months; total grant: 39,000 euro; host: Marc Noy Serrano, Universidad Poitecnica de Catalunya).
  In addition, Miguel Palomino Tarjuelo and Ignacio Fabregas Alfaro (Universidad Complutense Madrid) received grants to visit ICE-TCS (hosts: Luca Aceto and Anna Ingolfsdottir) for a month in September 2010.
• Friday, 22 January 2010: The Icelandic Research Fund has announced the funded projects for 2010. (See here, in Icelandic.) The three funded projects in Computer Science have members of ICE-TCS as principal investigators. These are:
  • Luca Aceto. Meta-Theory of Algebraic Process Theories (three-year project; 6,660 K ISK per year; Anna Ingolfsdottir, co-proposer).
  • Yngvi Bjornsson. General Intelligence Problem-Solving Agents (three-year project; 4,760 K ISK per year).
  • Anna Ingolfsdottir. Processes and Modal Logics (three-year project; 4,900 K ISK per year; Luca Aceto, co-proposer).
• Tuesday, 12 January 2010: The Jules Verne proposal Algorithms and Formal Methods for Distributed Computing has been selected for funding. The project will receive travel money amounting to 600,000 ISK. The grant proposal was submitted jointly by Luca Aceto, Magnus M. Halldorsson and Anna Ingolfsdottir (ICE-TCS, Reykjavik University), and Pierre Fraigniaud and Francois Laroussinie (LIAFA, University Paris Diderot - Paris 7).
• Wednesday, 21 January 2009: The Icelandic Research Fund has announced its grants for 2009. ICE-TCS has obtained the following two grants:
  • Einar Steingrimsson has been awarded an excellence grant for 24.600.000 ISK (theme: Combinatorics of permutations and words)
  • Magnus M. Halldorsson has been awarded a project grant (theme: Algorithms for wireless networks) for 3.110.000 ISK.
• Tuesday, 24 June 2008: Arnar Birgisson has received one of the six master-student grants awarded by Rannis (the Icelandic Fund for Research) for 2008. The grant is for 800K ISK and Arnar will use it to work on his project devoted to advances in Structural Operational Semantics. There were 128 applications for mster and PhD grants.
• Thursday, 17 January 2008: The results of the latest round of grant applications from Rannis (the Icelandic Research Fund) have been made available. (See here.) ICE-TCS researchers have received three of the 12 grants awarded for projects in Engineering, Science and Technology.
• Wednesday, 31 January 2007: Rannis (The Icelandic Fund for Research) has announced the funded projects for 2007. Two of the five newly funded applications in computer science are from ICE-TCS members, namely
  • Magnus M. Halldorsson, Stiku reiknirit ofurnetum, and
  • MohammadReza Mousavi (with Luca Aceto and Anna Ingolfsdottir), Rammi til a samrma mismunandi gerdir keyrslumerkingafraedi.
• Wednesday, 8 February 2006: ICE-TCS researchers contribute to four out of six grants awarded by Rannis in Computer Science and Mathematics. The grants involved are:
  • Excellence grant to work on "Algebraic combinatorics and permutation patterns" (Einar Steingrimsson, Anders Claesson and Sergey Kitaev)
  • Project grant on "The equational logic of processes" (Luca Aceto and Anna Ingolfsdottir)
  • Project grant on "Scheduling split intervals" (Magnus M. Halldórsson)
  • Project grant with Hjalmtyr Hafsteinsson as co-proposer.
  Further information is available (in Icelandic).