- Ellie's homepage


I am interested in

  • Since late October 2022 I am a postdoc at the Department of Information Technology at Uppsala University. I work 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


Office: Room 105183, Ångströmlaboratoriet
E-mail: elli.anastasiadi [-at-] it.uu.se
Phone: +3547747702

Postal address:
Uppsala University
Department of Information Technology
Att: Elli Anastasiadi
SE-751 05 Uppsala