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:
http://www.ru.is/starfsfolk/annai
www.ru.is/kennarar/annai/
Ferilskrá
Ferilskrá - Anna Ingólfsdóttir
Kennsluferill í HR
2021-1
T-707-MOVE
Modeling and Verification
2020-1
T-707-MOVE
Modeling and Verification
2020-1
T-505-ROKF
Rökfræði í tölvunarfræði
2019-1
T-707-MOVE
Modeling and Verification
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.