I am Elli Anastasiadi
I am interested in
- Since late October 2022 I am a postdoc at Uppsala University. I work 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.
- You can contact me at : lastname.firstname[put here the number before 1] AT [the service form google].com