A workshop celebrating Anna Ingólfsdóttir's academic career, spanning nearly forty years, was held at RU last Friday. Anna joined Reykjavik University in September 2005 and became the first female full professor in Computer Science in Iceland in 2006.

She co-founded the Icelandic Centre of Excellence in Theoretical Computer Science at the end of April 2005 and has been a scientific co-director of that centre since then. She received the Reykjavik University Research Award in 2013.

Before joining RU, Anna held positions at Aalborg University, the University of Iceland, DeCode Genetics, and the University of Sussex, as well as visiting positions at the Chinese Academy of Sciences, DTU, Universidad Complutense de Madrid, and the University of Florence, among others.

After finishing a master's degree with a thesis in functional analysis and differential geometry, in 1987 Anna wrote a master's thesis in Computer Science titled "Fra Hennessy-Milner logik til CCS-processer" (From Hennessy-Milner logic to CCS processes), co-authored with Jens Christian Godskesen and Michael Zeeberg under Kim G. Larsen's supervision. She then obtained a DPhil in Computer Science under Matthew Hennessy's supervision at the University of Sussex.

Her subsequent research journey has offered contributions to a variety of topics in Computer Science, including algebras of processes, bioinformatics, concurrency theory, learning probabilistic models, logic in computer science and runtime monitoring. See Anna's DBLP page and her profile on Google Scholar for more information on her research output. A profile of her research in Icelandic is available here.

She co-founded the Icelandic Centre of Excellence in Theoretical Computer Science at the end of April 2005 and has been a scientific co-director of that centre since then. She received the Reykjavik University Research Award in 2013.

At RU, Anna has supervised seven PhD students and mentored ten postdoctoral researchers. Today, one of her mentees is a full professor, four are associate professors, four are assistant professors and five hold research positions at high-quality universities and research centres. She has also co-authored a widely used textbook on modelling, specification and verification of reactive systems, published by Cambridge University Press.

Ólafur Eysteinn Sigurjónsson (Vice Rector of Research, Innovation and Industry Relations and Dean of the School of Technology, Reykjavik University) welcomed guests, followed by talks by  Kim G. Larsen Elli Anastasiadi and Giovanni Bacci from  Aalborg University, Denmark, and  María Óskarsdóttir (University of Southampton, UK, and Reykjavik University, Iceland. For more information about the workshop, please see here.