| 2010-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2010-3 | T-110-VERK | Verkefnalausnir |
| 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 |
| Meira... | | |