PhD Thesis

Title	Student	Supervisor
Developing Theoretical Foundations for  Runtime Enforcement	Ian Cassar	Prof. Anna Ingólfsdóttir and   Prof. Luca Aceto
Finding structure in Permutation sets	Christian Bean	Henning Úlfarsson, Associate     Professor
Modeling, Verification, and Analysis of Timed   Actor-Based Models	Ehsan Khamespanah	Prof. Marjan Sirjani
Performance Evaluation and Model Checking of Probabilistic Real-time Actors	Ali Jafari	Prof. Marjan Sirjani
NV-tree: A Scalable Disk-Based High-Dimensional Index	Herwig Lejsek	Björn Þór Jónsson, Associate Professor
First impressions in Human-Agent Virtual Encounters	Angelo Cafaro	Hannes Högni Vilhjálmsson, Associate Professor
Axiomatizations from Structural Operational Semantics: Theory and Tools	Eugen Ioan Goriac	Prof. Anna Ingólfsdóttir and Prof. Luca Aceto
Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics,	Georgiana Caltais	Prof. Anna Ingólfsdóttir and Prof. Luca Aceto
The Security Properties of In-Network Aggregation	Kristján Valur Jónsson	Ýmir Vigfússon, Assistant Professor
General Attention Mechanism for Artificial Intelligence Systems	Helgi Páll Helgason	Kristinn R. Þórisson, Associate Professor
Simulation-Based General Game Playing	Hilmar Finnsson	Yngvi Björnsson, Associate Professor
Contributions to the Meta-Theory of Structural Operational Semantics	Matteo Cimini	Professor Luca Aceto
Approximation Algorithms for Independent Set Problems on Hypergraphs	Elena Losievskaja	Professor Magnús M. Halldórsson