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.
Contact
Office: Room 1.2.57, Cassiopeia
E-mail: ellia [-at-] cs.aau.dk
Phone: +3547747702
Postal address:
Aalborg University
Department of Computer Science
Att: Elli Anastasiadi
Selma Lagerløfs Vej 300, 9220 Aalborg
Denmark