About
I am interested in
- 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!
- 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.
Contact
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
Sweden