Members
Faculty
-
Luca Aceto
[DBLP,
GS],
full professor, also with Gran Sasso Science Institute -
Luca's Process algebra diary
-
Antonis Achilleos
[DBLP,
GS], associate professor
-
Anna Ingólfsdóttir
[DBLP,
GS],
full professor
-
Magnús Már Halldórsson
[DBLP,
GS],
full professor
-
Szabolcs Horvát
[DBLP,
GS],
assistant professor
-
Henning Úlfarsson
[ZbMath,
DBLP,
GS],
associate professor, department chair -
Permuta Triangle project
-
Tarmo Uustalu
[DBLP,
GS],
full professor, also with Tallinn University of Technology
Postdocs
PhD students
Last update 4 August 2025