| 2010-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
| 2010-3 | T-719-STO4 | Stöðuvélar og reiknanleiki |
| 2010-3 | T-110-VERK | Verkefnalausnir |
| 2010-1 | T-707-MOVE | Modeling and Verification |
| 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-719-STO4 | Stöðuvélar og reiknanleiki |
| 2009-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
| 2009-3 | T-110-VERK | Verkefnalausnir |
| 2009-1 | T-899-MSTH | MS ritgerð |
| 2009-1 | T-719-STO4 | Stöðuvélar og reiknanleiki |
| 2009-1 | T-519-STOR | Stöðuvélar og reiknanleiki |
| 2008-3 | T-899-MSTH | MS ritgerð |
| 2008-1 | T-707-MOVE | Modeling and Verification |
| Meira... | | |