News
- 1 September 2026:
Magnús Már Halldórsson has stepped down from the position of the
director of ICE-TCS to focus on other things. This role has now
been entrusted to Tarmo Uustalu.
Thanks, Magnús, for your work during a little over 20 years!
- 25 May 2026:
On Monday, 1 June, Arnór Friðriksson will defend his MSc
thesis Methods of constructing and analyzing points using graph
theory. Supervisor: Szabolcs Horvát. Examiners: Luca Aceto,
María Oskársdóttir. The defense will take place at 10:00 in room
M119.
- 5 May 2026:
Two ICE-TCS researchers, Luca Aceto
and Magnús M. Halldórsson, are
amongst the eight researchers from Reykjavik University who are
included in the list of leading scientists in their respective
fields for 2026 published by
Research.com.
- 15 April 2026:
Nicola Del Giudice has joined ICE-TCS as a
postdoctoral researcher.
- 10 April 2026:
Chhaya Trehan has joined ICE-TCS as a postdoctoral researcher.
- 5 March 2026:
The 2026 allocation of grants from the Reykjavik University Research
Fund was announced today. All applications for new grants from
ICE-TCS were rejected. Arnar Bjarni Arnarson received a continuation grant.
The CS department on the whole received no new grants, two
continuation grants.
- 20 February 2026:
On Monday, 2 March, Jasmine Xuereb will defend her University of Malta and
University of Reykjavik dual PhD thesis titled Extending the
limits of monitorability. Jasmine's supervisors
were Adrian
Francalanza in Malta
and Antonis
Achilleos in Reykjavik. The external examiners
are Bernd
Finkbeiner (CISPA and University of
Saarland), Ana
Sokolova (University of Salzburg). The other committee members
are Claudia
Borg, Gordon
Pace (Malta), Luca Aceto, Tarmo Uustalu (Reykjavik). The
defense will take place at 9:00 CET (8:00 GMT) at the University
of Malta and can also followed in Zoom.
- 20 February 2026:
From 26 April to 1 May, Tarmo
Uustalu will host a meeting of IFIP WG 2.1 at Vihula,
Estonia. This working group is one of the oldest of IFIP and was
in charge of ALGOL 60 and 68.
- 12 February 2026:
Rannís has announced
the 2026
allocation of new grants from the Icelandic Research
Fund.
One grant proposal from ICE-TCS was awarded funding:
The other grant proposals from the lab were rejected.
The CS department on the whole won 3 new grants
and RU on the whole 11 new grants.
- 11 February 2026:
Tarmo Uustalu is organizing
the 28th Estonian Winter
School in Computer Science, EWSCS 2026 and Luca Aceto is among
the teachers. The school will be held at Viinistu, 2-5 March.
Registration by 15 February.
- 22 January 2026:
Tarmo Uustalu has been
offered a one-month guest professorship at LMF, ENS
Paris-Saclay.
His stay in Paris will happen in September-November.
- 15 January 2026:
On Thursday, 22 January 2026, Bjarki Gunnarsson will defend his
University of Iceland (UI) MSc thesis Concurrent monads in
2-categories. Supervisors: Tarmo Uustalu and Anders Claesson
(UI). Examiner: Jacob Neumann. The defense will happen at 10:00
in room 258 of VR-II.
- 9 January 2026:
The ICE-TCS annual report for
2025 is out. See what we did in 2025.
Last update 4 October 2026