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:annairu.is 
Vefur:http://www.ru.is/starfsfolk/annai
www.ru.is/kennarar/annai/

Ferilskrá

Ferilskrá - Anna Ingólfsdóttir

Kennsluferill í HR

2020-1T-707-MOVEModeling and Verification
2020-1T-505-ROKFRökfræði í tölvunarfræði
2019-1T-707-MOVEModeling and Verification
2018-3T-519-STORStöðuvélar og reiknanleiki
2018-1T-707-MOVEModeling and Verification
2018-1T-505-ROKFRökfræði í tölvunarfræði
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.