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. Before this, from October 2022, 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. Before Iceland, I lived in Greece, where I finished my masters in applied mathematics in National Technical University of Athens under the supervision of professors Aris Pagourtzis and Stathis Zachos.
News
- Feb 2026: The project grant Hyperlogics: Expressiveness, Monitorability and Tools (H.-Lo), that I am a co-PI of, has recieved funding by the Icelandic Research Fund!
- Dec 2025: I was invited to give a talk at the 15th Panhellenic Logic Symposium, that will take place in Athens, Greece in July. Please consider submitting!
- 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 and 11th Logic Mentoring Workshop, colocated with the 32nd CSL and the 40th LICS conferences, held in Naples and Singapore!
- 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, Selma Lagerløfs Vej 300, 9220 Aalborg
E-mail: ellia [-at-] cs.aau.dk
Phone: +45- 42257702
Postal Address:
Aalborg University
Department of Computer Science
Selma Lagerløfs Vej 300, 9220 Aalborg
Denmark