Deild:
Anna Ingólfsdóttir, Prófessor
Deild:
Tæknisvið / Tölvunarfræðideild
Aðsetur:
Menntavegur 1
Viðtalstímar:
Eftir umtali
Sími:
5996319
Netfang:
annai
ru.is
Vefur:
https://www.ru.is/haskolinn/starfsfolk/annai
www.ru.is/kennarar/annai/
Ferilskrá
Ferilskrá - Anna Ingólfsdóttir
Kennsluferill í HR
2025-1
T-707-MOVE
Modeling and Verification
2024-1
T-707-MOVE
Modeling and Verification
2024-1
T-505-ROKF
Rökfræði í tölvunarfræði
2023-3
T-899-MSTH
MS ritgerð
2023-1
T-707-MOVE
Modeling and Verification
2023-1
T-879-MSRS
MS rannsókn
2023-1
T-899-MSTH
MS ritgerð
Meira...
Sérsvið
Fræðileg tölvunarfræði með sérstaka áherslu á formlegum líkönum fyrir samtíma kerfi og staðfestingu á réttri hegðun þeirra.