MSc theses

1. Calvin Santiago Lee. Interactions of (co)monads in Agda.
   60 ECTS. Supervisor: Tarmo Uustalu.
   Defense: Thu, 30 May 2024, 14:00, room M101.
   thesis, details
2. Eva Ósk Gúnnarsdóttir. Applying binary decision diagrams to learn hidden Markov models.
   60 ECTS. Supervisor: Anna Ingólfsdóttir.
   Defense: Thu, 18 January 2024, 12:00, room V103.
   thesis, details
3. 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: Thu, 7 December 2023, 14:30, room M120.
   thesis, details
4. 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: Mon, 13 May 2022, 13:15, room M104.
   thesis, details
5. Ragnar Páll Árdal. Proof-number search in automated enumeration of combinatorial classes.
   60 ECTS. Supervisor: Henning Úlfarsson.
   Defense: Mon, 10 January 2022, 14:00, Zoom.
   thesis, details
6. Jón Steinn Elíasson. Automated bijections with combinatorial exploration.
   30 ECTS. Supervisor: Henning Úlfarsson.
   Defense: Thu, 6 January 2022, 14:00, Zoom.
   thesis, details
7. Bjarni Jens Kristinsson. Searching for combinatorial covers using integer linear programming.
   30 ECTS. Supervisors: Henning Úlfarsson, Christian Bean.
   Defense: Mon, 16 December 2019, 13:00, room M120.
   thesis, details
8. Arnar Bjarni Arnarson. Substitution decomposition for permutation classes with infinitely many simple permutations.
   60 ECTS. Supervisor: Henning Úlfarsson. Coadvisor: Christian Bean.
   Defense: Tue, 4 June 2019, 13:00, room M105.
   thesis, details
9. Unnar Freyr Erlendsson. Effective enumeration of permutation classes and their juxtapositions.
   60 ECTS. Supervisor: Henning Úlfarsson. Coadvisor: Christian Bean.
   Defense: Fri, 24 May 2019, 14:00, room M208.
   thesis, details
10. 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: Fri, 26 Jan. 2018, 14:00, room M105.
    thesis, details
11. Karl Andrés Gíslason. Smart space engine: a prototype flexible and reconfigurable fuzzy logic control software.
    60 ECTS. Supervisor: Luca Aceto.
    Defense: Tue, 16 May 2017, 12:45, room M120.
    thesis, details
12. Jón Friðrik Jónatansson. A data driven analysis of clusters using UPPAAL.
    60 ECTS. Supervisors: Anna Ingólfsdóttir, Luca Aceto.
    Defense: Mon, 15 May 2017, 12:45, room M103.
    thesis, details
13. Guðmundur Stefánsson. Work on new event sources for detectEr.
    30 ECTS. Supervisors: Luca Aceto, Anna Ingólfsdóttir.
    Defense: Mon, 15 May 2017, 9:00, room M103.
    thesis, details
14. Bjarki Ágúst Guðmundsson. Formalizing the translation method in Agda.
    60 ECTS. Supervisors: Anders Claesson (U. of Iceland), Henning Úlfarsson.
    Defense: Thu, 1 June 2017, 14:00, room V102.
    thesis, details
15. Murray Tannock. Equivalence classes of mesh patterns with a dominating pattern.
    60 ECTS. Supervisor: Henning Úlfarsson.
    Defense: Thu, 26 May 2016, 9:30, room M123.
    thesis, details
16. Helgi Leifsson. Analyzing different scheduling policies in Natjam using Timed Rebeca.
    30 ECTS. Supervisor: Marjan Sirjani.
    Defense: Fri, 7 Nov. 2014, 15:00, room M102.
    thesis, details
17. 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
18. Vignir Örn Guðmundsson. Model-based testing of flexible systems -- an empirical study on NASA GMSEC and QuizUp Android App.
    Supervisor: Luca Aceto.
    Defense: Wed, 27 Aug. 2014, 10:00, room M209.
    thesis, details
19. Sigríður Lína Viðarsdóttir. Isomorphisms between consecutive pattern classes.
    Supervisor: Henning Úlfarsson.
    Defense: Wed, 14 May 2014, 9:00, room M104.
    thesis, details
20. Hörður Hauksson. Towards model checking BSV in Uppaal.
    Supervisor: Anna Ingólfsdóttir.
    Defense: Fri, 16 Aug. 2013, 14:00, room M104.
    thesis, details
21. Ástvaldur Sigurðsson. Moving towards analyzability in fisheries system management.
    Supervisor: Marjan Sirjani. Co-supervisor: Sigrídur Sigurðardóttir (Matís).
    Defense: Thu, 30 May 2013, 10:00.
    thesis, details
22. Hjalti Magnússon. Sorting operators and their preimages.
    Supervisor: Henning Úlfarsson.
    Defense: Fri, 24 May 2013, 10:00, room V101.
    thesis, details
23. Hörður Ingi Björnsson. Experimental analysis of throughput maximization for combinatorial spectrum auctions.
    Supervisor: Magnús Már Halldórsson. 2013.
    thesis
24. Brynjar Magnússon. Simulation-based analysis of Timed Rebeca using TeProp and SQL.
    Supervisor: Marjan Sirjani.
    Defense: Fri, 1 June 2012, 15:30, room V102.
    thesis, details
25. Ó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: Thu, 24 May 2012, 9:15, room V101.
    thesis, details
26. Haukur Kristinsson. Event-based analysis of real-time actor models.
    Supervisor: Marjan Sirjani. May 2012.
    thesis
27. 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
28. Árni Hermann Reynisson. Timed Rebeca: refinement and simulation.
    Supervisor: Marjan Sirjani. 2011.
    thesis
29. Steinar Hugi Sigurðarson. Guided search for deadlocks in actor-based models.
    Supervisor: Marjan Sirjani. Cosupervisor: Yngvi Björnsson. 2011.
    thesis
30. Unnar Þór Bachmann. Online t-interval scheduling.
    Supervisor: Magnús Már Halldórsson. 2009.
    thesis
31. Arnar Birgisson. Topics in structural operational semantics.
    Supervisor: Luca Aceto. 2009.
    thesis
32. Maria Arinbjarnar. Rational dialog in interactive games.
    Supervisor: Luca Aceto. 2007.
    thesis