Anna Ingólfsdóttir er prófessor í tölvunarfræði við Háskólann í Reykjavík og einn af forstöðumönnum rannsóknaseturs í fræðilegri tölvunarfræði við sama skóla (ICE-TCS). Sérsvið Önnu er fræðileg tövunarfræði með áherslu á merkingafræði og réttleika gagnvirkra og samsíða hugbúnaðakerfa. Í þessu felst meðal annars þróun og rannsóknir á formlegum málum til að lýsa, greina og sanna að kerfin geri það sem þeim er ætlað á formlegan hátt.
Anna lauk BSc-gráðu í stærðfræði-eðlisfræði frá Háskóla Ísland...
↧