News 2023

• 21 December 2023:
  Tarmo Uustalu together with Amirouche Moktefi and Niccolò Veltri is organizing a World Logic Day 2024 celebration in Tallinn. The 2024 Logic in Estonia workshop will be held in the Estonian Academy of Sciences, Tallinn, on 15 January 2024. The invited speakers are Valentin Goranko (Stockholm University), Margus Veanes (Microsoft Research) and Jan von Plato (University of Helsinki).
• 6 December 2023:
  Egill Torfason will defend his 30 ECTS MSc thesis Noise resilience of proofs of quantumness on 7 December at 14:30 in room M120.
  Supervisors: Magnús Már Halldórsson, Alexandru Georghiu (Chalmers University of Technology, Gothenburg). Examiner: Giulia Ferrini (Chalmers University of Technology). Details here.
• 8 November 2023:
  Raphaël Reynouard will defend his PhD thesis On learning stochastic models: from theory to practice on 14 November at 10:00 CET (9:00 GMT) in Sala Consiliare of GSSI, L'Aquila. A Zoom live stream from the defense can be followed in room M123 of RU.
  Supervisors: Anna Ingólfdóttir, Giovanni Bacci (University of Aalborg). Examiners: Nils Jansen (Ruhr-University Bochum and Radboud University), Catia Trubiani (GSSI). Committee: Luca Aceto. Details here.
• 21 August 2023:
  Vasiliki Kyriakou is joining us as a new PhD student from this academic year, supervised by Antonis Achilleos and Karoliina Lehtinen (LIS, Aix-Marseille University).
  Calvin Lee is joining as a new MSc student, supervised by Tarmo Uustalu.
• 13 July 2023:
  Peter Dybjer [DBLP, GS] from Chalmers University of Technology will visit us from 27 August to 2 September. Host: Tarmo Uustalu.
• 7 June 2023:
  Our postdoc Valentina Castiglioni has accepted an assistant professorship offer from TU Eindhoven and will begin there on 1 October.
  Valentina started at RU on 15 May 2019 as a postdoc in Luca and Anna's IRF research project OPEL. In January 2022, she won an IRF grant for her own postdoc project ULTRON.
• 31 May 2023:
  From 1 July 2023, Henning Úlfarsson will be the chair of the CS department of RU.
  Henning will pick up the baton from Luca Aceto, who has been serving the department in this role from 1 March 2019.
• 30 May 2023:
  Antonis Achilleos will bring three logic events to Reykjavik next June: GandALF, the Scandinavian Logic Symposium and the Nordic Logic Summer School.
  The PC of GandALF will be co-chaired by Antonis and our collaborator Adrian Francalanza from U. of Malta.
• 8 May 2023:
  On 23 May, we are organizing an informal one-day workshop on formal methods in security at RU. Experts from some of the most active research groups in Denmark, Norway and Sweden will speak.
  Register by 17 May.
• 5 May 2023:
  Flavien Breuvart [DBLP] from LIPN, Université Sorbonne Paris Nord, will visit us from 23 August to 4 October. Hosts: Tarmo Uustalu and Dylan McDermott.
• 19 April 2023:
  Henning Úlfarsson has been promoted to associate professor.
  Congratulations, Henning!
• 18 April 2023:
  Duncan Attard defended his PhD thesis Runtime monitoring for asynchronous reactive components for a University of Malta and RU joint degree in Malta today.
  Supervisors: Adrian Francalanza (University of Malta), Luca Aceto, Anna Ingólfsdottir.
• 27 March 2023:
  On 19 May, we welcome Marta Kwiatkowska [DBLP, GS] from the University of Oxford for a public talk at RU.
  This talk is to celebrate 18 years of ICE-TCS, 25 years of computer science at RU and 25 years of RU. It is part of the Valkyrja distinguished lecture series.
  Marta's talk, entitled Safety and robustness for deep learning with provable guarantees, will take place at 14:00 in room V102. Details here.
• 7 February 2023:
  Thin Lei Win, an award-winning multimedia journalist specializing in food and climate issues, will give a public talk Rebooting our food systems on 14 February at 12:00 in room M103. Details here.