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-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
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
2014-3T-991-TPDEMeistaraverkefnavörn
2014-3T-899-MSTHMS ritgerð
2014-3T-519-STORStöðuvélar og reiknanleiki
2014-3T-719-STO4Stöðuvélar og reiknanleiki
2014-1T-219-REMORauntímalíkön
2014-1T-505-ROKFRökfræði í tölvunarfræði
2013-3T-999-PHDTDoktorsritgerð í tölvunarfræði
2013-3T-993-PHDDDoktorsvörn
2013-3T-891-MSTDMeistaravörn
2013-1T-891-MSTDMeistaravörn
2013-1T-219-REMORauntímalíkön
2013-1T-724-SETASemantics: Theory and Applications
2012-3T-999-PHDTDoktorsritgerð í tölvunarfræði
2012-1T-999-PHDTDoktorsritgerð í tölvunarfræði
2012-1T-891-MSTDMeistaravörn
2012-1T-899-MSTHMS ritgerð
2012-1T-219-REMORauntímalíkön
2012-1T-505-ROKFRökfræði í tölvunarfræði
2011-3T-999-PHDTDoktorsritgerð í tölvunarfræði
2011-3T-993-PHDDDoktorsvörn
2011-3T-899-MSTHMS ritgerð
2011-3T-992-PHDPPhD Thesis Proposal
2011-3T-719-STO4Stöðuvélar og reiknanleiki
2011-3T-519-STORStöðuvélar og reiknanleiki
2011-1T-899-MSTHMS ritgerð
2011-1T-724-SETASemantics: Theory and Applications
2010-3T-519-STORStöðuvélar og reiknanleiki
2010-3T-719-STO4Stöðuvélar og reiknanleiki
2010-1T-707-MOVEModeling and Verification
2010-1T-505-ROKFRökfræði í tölvunarfræði
2010-1T-702-ROKFRökfræði í tölvunarfræði
2009-3T-719-STO4Stöðuvélar og reiknanleiki
2009-3T-519-STORStöðuvélar og reiknanleiki
2009-3T-110-VERKVerkefnalausnir
2009-1T-899-MSTHMS ritgerð
2009-1T-719-STO4Stöðuvélar og reiknanleiki
2009-1T-519-STORStöðuvélar og reiknanleiki
2008-3T-899-MSTHMS ritgerð
2008-1T-707-MOVEModeling and Verification
2007-3T-519-STORStöðuvélar og reiknanleiki
2007-3T-719-STO4Stöðuvélar og reiknanleiki
2007-1T-604-STARStærðfræðileg reiknirit
2006-3T-707-MOVEModeling and Verification
2006-1T-619-LOKALokaverkefni með rannsóknaráherslu
2006-1T-604-STARStærðfræðileg reiknirit
2005-3T-519-STORStöðuvélar og reiknanleiki
2005-3T-719-STO4Stöðuvélar og reiknanleiki

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.