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

Was the content helpful? Yes No