Þessi vinnustofa er haldin til heiðurs starfsferli Önnu Ingólfsdóttur sem spannar næstum fjörutíu ár. Vinnustofan fer fram í M102 þann 14. nóvember milli kl. 13:00 og 15:45.

Eftir að hafa lokið meistaragráðu með lokaritgerð í "functional analysis and differential geometry", skrifaði Anna Ingólfsdóttir, árið 1987, meistararitgerð í tölvunarfræði undir titlinum "Fra Hennessy-Milner logik til CCS-processor" (e.From Hennessy-Milner logic to CCS processes), ásamt Jens Christian Godskesen og Michael Zeeberg undir handleiðslu Kim G. Larsen. Hún lauk síðan DPhil-gráðu í tölvunarfræði undir handleiðslu Matthews Hennessy við Háskólann í Sussex. Síðari rannsóknarferill hennar hefur boðið upp á framlag til fjölbreyttra efna í tölvunarfræði, þar á meðal algebru ferla, lífupplýsingafræði, samhliðakenningu, líkindafræði, rökfræði í tölvunarfræði og "eftirlit með keyrslutíma"runtime monitoring". Sjá DBLP-síðu Önnu og prófíl hennar á Google Scholar fyrir frekari upplýsingar um rannsóknarniðurstöður hennar. Rannsóknarlýsing hennar á íslensku er aðgengileg hér.

Anna Ingólfsdóttir hóf störf við Háskólann í Reykjavík í september 2005 og varð fyrsta kvenkyns prófessorinn í tölvunarfræði á Íslandi árið 2006. Hún var meðstofnandi vísindasetursins ICETCS Icelandic Centre of Excellence in Theoretical Computer Science í lok apríl 2005 og hefur verið vísindalegur meðstjórnandi þess miðstöðvar síðan þá. Hún hlaut Rannsóknarverðlaun Háskólans í Reykjavík árið 2013.

Áður en hún hóf störf við Háskólann í Reykjavík gegndi hún störfum við Álaborgarháskóla, Háskóla Íslands, DeCode Genetics og Háskólann í Sussex, auk þess að gegna gestastöðum við Kínversku vísindaakademíuna, DTU, Universidad Complutense Madrid og Háskólann í Flórens, svo eitthvað sé nefnt.

Við Háskólann í Reykjavík hefur Anna leiðbeint sjö doktorsnemum og leiðbeint tíu nýdoktorum. Í dag er einn af leiðbeinendum hennar prófessor, fjórir eru dósentar, fjórir eru lektorar og fimm gegna rannsóknarstöðum við framúrskarandi háskóla og rannsóknarmiðstöðvar. Hún er einnig meðhöfundur að víðtækri kennslubók um líkön, forskrift og sannprófun á hvarfgjörnum kerfum, gefin út af Cambridge University Press.

Vinnustofan fer fram á ensku og er dagskrá eftirfarandi:

• 13:00-13:05: Welcome: Ólafur Eysteinn Sigurjónsson (Vice Rector of Research, Innovation and Industry Relation and Dean of the School of Technology, Reykjavik University)
• 13:05-13:35: Kim G. Larsen (Aalborg University, Denmark). Adequacy and Expressiveness of Timed Modal Logic – Revisited
• 13:35-14:05: Elli Anastasiadi (Aalborg University, Denmark). Flipped classroom in theoretical computer science: A case study for equational logic
• 14:05-14:30: Coffee break
• 14:30-15:00: Giovanni Bacci (Aalborg University, Denmark). Learning Markov models using ADDs
• 15:00-15:30: María Óskarsdóttir (University of Southampton, UK, and Reykjavik University, Iceland). The importance of networks: Unveiling Gender Disparities in Corporate Board Career Paths Using Deep Learning
• 15:30-15:45: Closing