MSc theses

1. Arnór Friðriksson. Methods of constructing and analyzing point patterns with proximity graphs.
   60 ECTS. Supervisor: Szabolcs Horvát.
   Defense: Monday, 1 June 2026, 10:00, room M119.
   thesis, announcement
2. Bjarki Gunnarsson. Concurrent monads in 2-categories.
   60 ECTS. Supervisors: Tarmo Uustalu, Anders Claesson (University of Iceland).
   Defense: Thursday, 22 January 2026, 10:00, room 258 of VR-II, University of Iceland.
   University of Iceland degree.
   thesis, announcement
3. Magnús Friðrik Helgason. Identifying global features of the mammalian connectome using network science and machine learning.
   30 ECTS. Supervisor: Szabolcs Horvát.
   Defense: Thursday, 25 September 2025, 10:00, room M325.
   thesis (embargo until 31 Oct. 2026), announcement
4. Calvin Santiago Lee. Interactions of (co)monads in Agda.
   60 ECTS. Supervisor: Tarmo Uustalu.
   Defense: Thursday, 30 May 2024, 14:00, room M101.
   thesis, announcement
5. Eva Ósk Gunnarsdóttir. Applying binary decision diagrams to learn hidden Markov models.
   60 ECTS. Supervisor: Anna Ingólfsdóttir.
   Defense: Thursday, 18 January 2024, 12:00, room V103.
   thesis, announcement
6. Egill Torfason. Noise resilience of proofs of quantumness.
   30 ECTS. Supervisors: Magnús Már Halldórsson, Alexandru Gheorghiu (Chalmers U. of Technology). Coadvisor: Oliver Hahn (Chalmers U. of Technology).
   Defense: Thursday, 7 December 2023, 14:30, room M120.
   thesis, announcement
7. Pétur Ólafur Aðalgeirsson. Stöðugleiki þingsætaúthlutana og áhrif atkvæða.
   30 ECTS. Supervisors: Magnús Már Halldórsson, Þorkell Helgason (U. of Iceland).
   Defense: Monday, 13 May 2022, 13:15, room M104.
   thesis, announcement
8. Ragnar Páll Árdal. Proof-number search in automated enumeration of combinatorial classes.
   60 ECTS. Supervisor: Henning Úlfarsson.
   Defense: Monday, 10 January 2022, 14:00, Zoom.
   thesis, announcement
9. Jón Steinn Elíasson. Automated bijections with combinatorial exploration.
   30 ECTS. Supervisor: Henning Úlfarsson.
   Defense: Thursday, 6 January 2022, 14:00, Zoom.
   thesis, announcement
10. Bjarni Jens Kristinsson. Searching for combinatorial covers using integer linear programming.
    30 ECTS. Supervisors: Henning Úlfarsson, Christian Bean.
    Defense: Monday, 16 December 2019, 13:00, room M120.
    thesis, announcement
11. Arnar Bjarni Arnarson. Substitution decomposition for permutation classes with infinitely many simple permutations.
    60 ECTS. Supervisor: Henning Úlfarsson. Coadvisor: Christian Bean.
    Defense: Tuesday, 4 June 2019, 13:00, room M105.
    thesis, announcement
12. Unnar Freyr Erlendsson. Effective enumeration of permutation classes and their juxtapositions.
    60 ECTS. Supervisor: Henning Úlfarsson. Coadvisor: Christian Bean.
    Defense: Friday, 24 May 2019, 14:00, room M208.
    thesis, announcement
13. Tómas Ken Magnússon. Forced permutation patterns and applications to coincidence classification of mesh patterns and enumeration of permutation classes.
    60 ECTS. Supervisor: Henning Úlfarsson.
    Defense: Friday, 26 Jan. 2018, 14:00, room M105.
    thesis, announcement
14. Karl Andrés Gíslason. Smart space engine: a prototype flexible and reconfigurable fuzzy logic control software.
    60 ECTS. Supervisor: Luca Aceto.
    Defense: Tuesday, 16 May 2017, 12:45, room M120.
    thesis, announcement
15. Jón Friðrik Jónatansson. A data driven analysis of clusters using UPPAAL.
    60 ECTS. Supervisors: Anna Ingólfsdóttir, Luca Aceto.
    Defense: Monday, 15 May 2017, 12:45, room M103.
    thesis, announcement
16. Guðmundur Stefánsson. Work on new event sources for detectEr.
    30 ECTS. Supervisors: Luca Aceto, Anna Ingólfsdóttir.
    Defense: Monday, 15 May 2017, 9:00, room M103.
    thesis, announcement
17. Bjarki Ágúst Guðmundsson. Formalizing the translation method in Agda.
    60 ECTS. Supervisors: Anders Claesson (U. of Iceland), Henning Úlfarsson.
    Defense: Thursday, 1 June 2017, 14:00, room V102.
    thesis, announcement
18. Murray Tannock. Equivalence classes of mesh patterns with a dominating pattern.
    60 ECTS. Supervisor: Henning Úlfarsson.
    Defense: Thursday, 26 May 2016, 9:30, room M123.
    thesis, announcement
19. Helgi Leifsson. Analyzing different scheduling policies in Natjam using Timed Rebeca.
    30 ECTS. Supervisor: Marjan Sirjani.
    Defense: Friday, 7 Nov. 2014, 15:00, room M102.
    thesis, announcement
20. Mirco Pazzaglia. Simulation and Visualization of a 3D Biological Environment. DNA and Restriction Enzyme Case Study.
    Supervisors: Anna Ingólfsdóttir, Luca Tesei (University of Camerino). Oct. 2014.
    RU and University of Camerino dual degree.
    thesis
21. Vignir Örn Guðmundsson. Model-based testing of flexible systems -- an empirical study on NASA GMSEC and QuizUp Android App.
    Supervisor: Luca Aceto.
    Defense: Wednesday, 27 Aug. 2014, 10:00, room M209.
    thesis, announcement
22. Sigríður Lína Viðarsdóttir. Isomorphisms between consecutive pattern classes.
    Supervisor: Henning Úlfarsson.
    Defense: Wednesday, 14 May 2014, 9:00, room M104.
    thesis, announcement
23. Hörður Hauksson. Towards model checking BSV in Uppaal.
    Supervisor: Anna Ingólfsdóttir.
    Defense: Friday, 16 Aug. 2013, 14:00, room M104.
    thesis, announcement
24. Ástvaldur Sigurðsson. Moving towards analyzability in fisheries system management.
    Supervisor: Marjan Sirjani. Co-supervisor: Sigrídur Sigurðardóttir (Matís).
    Defense: Thursday, 30 May 2013, 10:00.
    thesis, announcement
25. Hjalti Magnússon. Sorting operators and their preimages.
    Supervisor: Henning Úlfarsson.
    Defense: Friday, 24 May 2013, 10:00, room V101.
    thesis, announcement
26. Hörður Ingi Björnsson. Experimental analysis of throughput maximization for combinatorial spectrum auctions.
    Supervisor: Magnús Már Halldórsson. 2013.
    thesis
27. Brynjar Magnússon. Simulation-based analysis of Timed Rebeca using TeProp and SQL.
    Supervisor: Marjan Sirjani.
    Defense: Friday, 1 June 2012, 15:30, room V102.
    thesis, announcement
28. Ólafur Hlynsson. From axiomatic systems to replicode, to non-axiomatic systems.
    Supervisor: Marjan Sirjani. Cosupervisors: Kristinn R. Þórisson, Emanuela Merelli (University of Camerino).
    RU and University of Camerino dual degree.
    Defense: Thursday, 24 May 2012, 9:15, room V101.
    thesis, announcement
29. Haukur Kristinsson. Event-based analysis of real-time actor models.
    Supervisor: Marjan Sirjani. May 2012.
    thesis
30. Gunnar Kristinn Vilbergsson. Accelerating constraint automata composition with GPGPU parallelization.
    Supervisor: Marjan Sirjani. Cosupervisor: Emanuela Merelli (University of Camerino).
    RU and University of Camerino dual degree. Jan. 2012.
    thesis
31. Árni Hermann Reynisson. Timed Rebeca: refinement and simulation.
    Supervisor: Marjan Sirjani. 2011.
    thesis
32. Steinar Hugi Sigurðarson. Guided search for deadlocks in actor-based models.
    Supervisor: Marjan Sirjani. Cosupervisor: Yngvi Björnsson. 2011.
    thesis
33. Unnar Þór Bachmann. Online t-interval scheduling.
    Supervisor: Magnús Már Halldórsson. 2009.
    thesis
34. Arnar Birgisson. Topics in structural operational semantics.
    Supervisor: Luca Aceto. 2009.
    thesis
35. Maria Arinbjarnar. Rational dialog in interactive games.
    Supervisor: Luca Aceto. 2007.
    thesis