PhD Thesis
| Title | Student | Supervisor |
|---|---|---|
| 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 |