I am Elli Anastasiadi

I am interested in


  1. Since late October 2022 I am a postdoc at Uppsala University. I work with Parosh Abdulla and the algorithmic program verification group.
  2. 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.
  3. 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.
  4. My project, "Runtime and Equational Verification of Concurent Systems" was awarded a PhD grant from the Reykjavik University research fund :). Check it out here.
  5. You can contact me at : lastname.firstname[put here the number before 1] AT [the service form google].com