This workshop celebrates Anna Ingólfsdóttir's academic career spanning a period of nearly forty years. The workshop takes place in M102 on 14th of November between 13 and 15:45.

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. She received the Reykjavik University Research Award in 2013.

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.

Programme of the workshop

• 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