- Ellie's homepage

About

I am interested in

  • Since October 2024 I am an assistant professor at the Department of Computer Science at Aalborg University! I am a member of the DEIS group.
  • I am an invited speaker at the Workshop on Trends in Concurrency Theory, that will take place in Calgary, Canada in September, as a part of CONFEST 2024!
  • I was a co-organiser of the 10th Logic Mentoring Workshop, colocated with the 32nd CSL conference, held in the 23rd of February in Naples!
  • During Oct 2022-Sept 2024 I was a postdoc at the Department of Information Technology at Uppsala University. I worked mostly with Parosh Abdulla and the algorithmic program verification group.
  • I finished my PhD at Reykjavik University in October 2022, under the supervision of Luca Aceto and Anna Ingolfsdottir! :) You can find my dissertation in my publications tab.
  • I moved to Iceland from Greece, where I finished my masters in applied mathematics and computer science in NTUA under the supervision of professors Aris Pagourtzis and Stathis Zachos. You can find my Master's thesis under my publications.
  • My project, "Runtime and Equational Verification of Concurent Systems" was awarded a PhD grant from the Reykjavik University research fund :). Check it out here.

Photo of Elli Anastasiadi

Contact

Office: Room 1.2.57, Cassiopeia
E-mail: ellia [-at-] cs.auu.dk
Phone: +3547747702

Postal address:
Aalborg University
Department of Computer Science
Att: Elli Anastasiadi
Selma Lagerløfs Vej 300, 9220 Aalborg
Denmark