This workshop celebrates Anna Ingólfsdóttir's academic career spanning a period of nearly forty years.
After finishing a master's degree with a thesis in functional analysis and differential geometry, in 1987 Anna Ingólfsdóttir 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.
Anna Ingólfsdóttir 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. Before joining Reykjavik University, she 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 Madrid and the University of Florence, amongst others.
At Reykjavik University, 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.