| 2024-3 | T-733-ICAP | Introduction to computer-assisted proof |
| 2024-1 | T-899-MSTH | MS ritgerð |
| 2023-3 | T-899-MSTH | MS ritgerð |
| 2023-1 | T-501-FMAL | Forritunarmál |
| 2022-3 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2022-3 | T-743-PLSA | Semantics with Applications |
| 2022-1 | T-999-PHDT | Doktorsritgerð í tölvunarfræði |
| 2022-1 | T-501-FMAL | Forritunarmál |
| 2022-1 | T-911-PRDE | Proposal Defence |
| Meira... | | |