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], professor emeritus
• Magnús Már Halldórsson [DBLP, GS], full professor
• Szabolcs Horvát [DBLP, GS], assistant professor
• Christoph Lenzen [DBLP, GS], associate 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

• Aggeliki Chalki [DBLP, GS] (on leave)
• Yuval Gil [DBLP]
• Jacob Neumann [DBLP, GS]

PhD students

• Reed Acton [ZbMath]
• Arnar Bjarni Arnarson
• Vasiliki Kyriakou
• Calvin Lee
• Yasuaki Morita [DBLP]

Former members