| 2024-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
| 2024-1 | T-505-ROKF | Rökfræði í tölvunarfræði |
| 2024-1 | T-419-STR2 | Strjál stærðfræði II |
| 2023-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
| 2023-1 | T-419-STR2 | Strjál stærðfræði II |
| 2022-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2022-3 | T-879-MSRS | MS rannsókn |
| 2022-3 | T-519-STOR | Stöðuvélar og reiknanleiki |
| 2022-1 | T-707-MOVE | Modeling and Verification |
| 2022-1 | T-879-MSRS | MS rannsókn |
| 2022-1 | T-505-ROKF | Rökfræði í tölvunarfræði |
| 2022-1 | T-419-STR2 | Strjál stærðfræði II |
| Meira... | | |