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
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
for the list of all the awarded projects.) More specifically,
Both projects are for the period 2021-2023.
- 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".
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
- 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
- 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
- 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
in Icelandic.) The grants, which are for the period 2019-2021, are:
Congratulations to ICE-TCS!
- 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).
- 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:
These were the only grants awarded in the field of computer science
this year. Full details 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
- 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.
- 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:
The list of projects selected for funding is
- 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).
- 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
- Friday, 9 April 2010: ICE-TCS has secured three of the Abel
Extraordinary Chairs awarded after the third call for
applications. The awards are:
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.
- Luca Aceto (two months;
total grant: 13,600 euro; host: David de Frutos Escrig, Universidad
- 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).
- 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,
- 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,
- 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
- 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:
Further information is available (in Icelandic).
- 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.