| 2023-1 | T-219-REMO | Rauntímalíkön |
| 2022-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2022-1 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2022-1 | T-219-REMO | Rauntímalíkön |
| 2021-1 | T-705-EACS | Ethics and Accountability in Computer Science |
| 2021-1 | T-707-MOVE | Modeling and Verification |
| 2021-1 | T-219-REMO | Rauntímalíkön |
| 2020-1 | T-701-REM4 | Aðferðafræði rannsókna |
| 2020-1 | T-219-REMO | Rauntímalíkön |
| 2019-1 | T-219-REMO | Rauntímalíkön |
| 2018-1 | T-219-REMO | Rauntímalíkön |
| 2017-1 | T-707-MOVE | Modeling and Verification |
| 2017-1 | T-899-MSTH | MS ritgerð |
| 2017-1 | T-219-REMO | Rauntímalíkön |
| 2016-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
| 2016-3 | T-719-STO4 | Stöðuvélar og reiknanleiki |
| 2016-1 | T-219-REMO | Rauntímalíkön |
| 2016-1 | T-419-STR2 | Strjál stærðfræði II |
| 2015-1 | T-219-REMO | Rauntímalíkön |
| 2015-1 | T-419-STR2 | Strjál stærðfræði II |
| 2014-3 | T-891-MSTD | Meistaravörn |
| 2014-2 | T-899-MSTH | MS ritgerð |
| 2014-1 | T-749-INDS | Sjálfstætt verkefni 1 |
| 2014-1 | T-419-STR2 | Strjál stærðfræði II |
| 2013-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2013-3 | T-993-PHDD | Doktorsvörn |
| 2013-3 | T-899-MSTH | MS ritgerð |
| 2013-1 | T-707-MOVE | Modeling and Verification |
| 2013-1 | T-899-MSTH | MS ritgerð |
| 2013-1 | T-219-REMO | Rauntímalíkön |
| 2012-3 | T-701-REM4 | Aðferðafræði rannsókna |
| 2012-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2012-3 | T-899-MSTH | MS ritgerð |
| 2012-3 | T-749-INDS | Sjálfstætt verkefni 1 |
| 2012-1 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2012-1 | T-707-MOVE | Modeling and Verification |
| 2012-1 | T-899-MSTH | MS ritgerð |
| 2011-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2011-3 | T-993-PHDD | Doktorsvörn |
| 2011-3 | T-707-MOVE | Modeling and Verification |
| 2011-3 | T-992-PHDP | PhD Thesis Proposal |
| 2011-3 | T-301-REIR | Reiknirit |
| 2011-1 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2011-1 | T-707-MOVE | Modeling and Verification |
| 2011-1 | T-899-MSTH | MS ritgerð |
| 2011-1 | T-603-THYD | Þýðendur |
| 2010-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2010-1 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2010-1 | T-707-MOVE | Modeling and Verification |
| 2010-1 | T-992-PHDP | PhD Thesis Proposal |
| 2010-1 | T-505-ROKF | Rökfræði í tölvunarfræði |
| 2010-1 | T-702-ROKF | Rökfræði í tölvunarfræði |
| 2009-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2009-3 | E-101-INTR | Inngangur að stærðfræði |
| 2009-3 | T-109-INTO | Inngangur að tölvunarfræði |
| 2009-3 | T-504-SETA | Merkingafræði |
| 2009-3 | T-707-MOVE | Modeling and Verification |
| 2009-3 | T-724-SETA | Semantics: Theory and Applications |
| 2009-3 | T-110-VERK | Verkefnalausnir |
| 2009-1 | T-891-MSTD | Meistaravörn |
| 2009-1 | T-623-MOVE | Modeling and Verification |
| 2009-1 | T-899-MSTH | MS ritgerð |
| 2009-1 | T-733-SADU | Software Architecture Design Using Process Algebras |
| 2008-3 | T-425-PASA | A Process Algebraic Approach to Software Architecture |
| 2008-3 | T-899-MSTH | MS ritgerð |
| 2008-2 | T-301-REIR | Reiknirit |
| 2007-3 | T-724-SETA | Semantics: Theory and Applications |
| 2007-3 | T-215-STY1 | Stýrikerfi |
| 2007-3 | RT STS1003 | Stýrikerfi og tölvustýringar |
| 2006-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
| 2006-3 | T-719-STO4 | Stöðuvélar og reiknanleiki |
| 2006-1 | T-707-MOVE | Modeling and Verification |
| 2006-1 | T-623-MOVE | Modeling and Verification |
| 2006-1 | T-603-THYD | Þýðendur |
| 2005-1 | T-603-THYD | Þýðendur |
| 2004-3 | T-530-MAME | Málskipan og merkingarfræði |
| 2002-3 | T-530-MAME | Málskipan og merkingarfræði |