Deild:  


Anna Ingólfsdóttir, prófessor

Deild: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

2018-1T-707-MOVEModeling and Verification
2018-1T-505-ROKFRökfræði í tölvunarfræði
2017-3T-519-STORStöðuvélar og reiknanleiki
2017-3T-719-STO4Stöðuvélar og reiknanleiki
2017-1T-899-MSTHMS ritgerð
2016-1T-707-MOVEModeling and Verification
2016-1T-505-ROKFRökfræði í tölvunarfræði
2015-3T-519-STORStöðuvélar og reiknanleiki
2015-3T-719-STO4Stöðuvélar og reiknanleiki
2015-1T-707-MOVEModeling 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.