Guests in 2022 (Roughly in Reverse Chronological Order)

Véronique Cortier (CNRS and University of Lorraine, Nancy, France)
Research Interests: Electronic voting protocols (see the system Belenios); Verification of security protocols; Link between symbolic and cryptographic models for protocols; Automatic deduction and tree automata.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 28 November-2 December 2022.

Kim G. Larsen (Aalborg University, Denmark)
Research Interests: Modeling and semantics, verification and logic, concurrency theory, performance analysis of real-time, embedded and cyber-physical systems, model checking and machine learning with numerous application in transport, energy and water management. I am prime investigator of the award winning tool UPPAAL as well as its branches targeting planning, optimization, testing, synthesis, machine learning and compositional analysis.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 21-25 November 2022.

Michael Wooldridge (University of Oxford, UK)
Research Interests: Use of formal techniques for reasoning about multiagent systems. I am particularly interested in the computational aspects of rational action in systems composed of multiple self-interested computational systems. My current research is at the intersection of logic, computational complexity, and game theory.
Hosts: Luca Aceto.
Location: Department of Computer Science, Reykjavik University.
Period: 21-23 November 2022.

Léo Exibard (Université Gustave Eiffel, Paris, France)
Research Interests: Automata theory, concurrency theory, synthesis and verification.
Hosts: Luca Aceto, Antonis Achilleos and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 8-14 November 2022.

Adrian Francalanza (University of Malta).
Research Interests: Concurrency theory, verification.
Hosts: Luca Aceto, Antonis Achilleos and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 6-12 November 2022.

Jana Wagemaker (Radboud University Nijmegen, NL)
Research Interests: Concurrency theory, logic in computer science.
Hosts: Luca Aceto, Antonis Achilleos and Anna Ingolfsdottir.
Location: School of Computer Science, Reykjavik University.
Period: 6-12 November 2022.

Nathanael Arkor (Masaryk University).
Research Interests: Category Theory and Type Theory.
Hosts: Dylam McDermott and Tarmo Uustalu.
Location: School of Computer Science, Reykjavik University.
Period: 4-25 November 2022.

Nicola Paoletti (Department of Informatics at King's College London, UK)
Research Interests: Nicola's interests are in safety and security assurance of cyber-physical (aka autonomous) systems, or CPSs, with an emphasis on biomedical applications. His research aims to develop formal analysis methods (verification, control, and synthesis) to design CPSs that are provably correct.
Host: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 17-20 October 2022.

Marjan Sirjani (Malardalen University, Sweden)
Research Interests: Applying formal methods in Software Engineering. She works on modeling and verification of concurrent and distributed systems.
Host: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 25-29 September 2022.

Joost-Pieter Katoen (RWTH Aachen, Germany)
Research Interests: Formal methods, computer aided verification, in particular model checking, concurrency theory, and semantics, in particular semantics of probabilistic programming languages.
Host: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 19-21 September 2022.

Yannic Maus (Faculty of Computer Science and Biomedical Engineering at TU Graz, Austria)
Research Interests: Theoretical computer science and algorithm design, especially in problems that arise in the context of distributed computing.
Host: Magnus Halldorsson and Alexandre Nolin.
Location: Department of Computer Science, Reykjavik University.
Period: 12-18 September 2022.

Luís Pinto (University of Minho, Portugal)
Research Interests: Logic and proof theory.
Host: Tarmo Uustalu.
Location: Department of Computer Science, Reykjavik University.
Period: 26 August-4 September 2022.

José Espírito Santo (University of Minho, Portugal)
Research Interests: Logic and proof theory.
Host: Tarmo Uustalu.
Location: Department of Computer Science, Reykjavik University.
Period: 26 August-4 September 2022.

Michele Loreti (University of Camerino, Italy).
Research Interests: Formal tools for specifying and verifying qualitative and quantitative properties of concurrent and distributed systems with an emphasis on large scaled Cyber Physical Systems.
Host: Valentina Castiglioni.
Location: Department of Computer Science, Reykjavik University.
Period: 3-9 August 2022.

Simone Tini (University of Insubria, Italy).
Research Interests: Concurrency theory and formal verification.
Host: Valentina Castiglioni.
Location: Department of Computer Science, Reykjavik University.
Period: 3-9 August 2022.

Aggeliki Chalki (National Technical University of Athens, Greece).
Research Interests: Logic and complexity.
Hosts: Antonis Achilleos.
Location: Department of Computer Science, Reykjavik University.
Period: 20 June-2 July 2022.

Uri Zwick (Tel Aviv University, IL).
Research Interests: Algorithms and complexity.
Hosts: Magnus M. Halldorsson.
Location: Department of Computer Science, Reykjavik University.
Period: 13 June 2022.

Bridget Eileen Tenner (Department of Mathematical Sciences, DePaul University, USA).
Research Interests: Algebraic, enumerative, and topological combinatorics.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 13 June-1 July 2022.

Michael Wooldridge (University of Oxford, UK)
Research Interests: Use of formal techniques for reasoning about multiagent systems. I am particularly interested in the computational aspects of rational action in systems composed of multiple self-interested computational systems. My current research is at the intersection of logic, computational complexity, and game theory.
Hosts: Luca Aceto.
Location: Department of Computer Science, Reykjavik University.
Period: 30 May-3 June 2022.

Georgiana Caltais (University of Twente, NL)
Research Interests: Formal modelling, specification and analysis of computer systems, with emphasis on automata, formal languages and system semantics.
Hosts: Luca Aceto and Anna Ingolfsdottir.
Location: Department of Computer Science, Reykjavik University.
Period: 30 May-1 June 2022.