About
🔹
I am a Chancellor’s Fellow in Digital Technologies at the School of Informatics, University of Edinburgh.
I do research in AI Modelling and computer science for workflow management, with a combination of formal, process-oriented and data-driven methods.

My work is at the intersection of (business) process management, formal verification, and the Internet of Things and involves numerous applications, particularly in health and social care and manufacturing.
As a research fellow, I am openly pursuing collaborations across academia, the industry, the public and third sectors, to create impact through data-driven innovation, AI and workflow analysis.
Groups
I am a member of:

The Mathematical Reasoning (DReaM) group
Short CV
2019-2022
Chancellor's Fellow
in Digital Technologies
School of Informatics
University of Edinburgh, UK
2018-2019
Researcher Co-Investigator
Digiflow Project
School of Informatics
University of Edinburgh, UK
2014-2018
Project Lead
WorkflowFM
Received extensive training on business development and entrepreneurship, exhibited and pitched at various events (e.g. Demofest 2014, EIE'15, EIE'16), and won prizes in 2 competitions among other achievements.
2009-2014
PhD
Formally Verified Process Workflows
School of Informatics
University of Edinburgh, UK
Thesis: A Formal Verification Approach to Process Modelling and Composition
Supervisor: Jacques Fleuriot
2008-2009
Private
Research and Informatics Corps
Greek Army, Greece
2006-2007
MSc
Artificial Intelligence with Distinction
School of Informatics
University of Edinburgh, UK
2001-2006
Undergraduate degree
BSc(Hons) equivalent
Department of Informatics and Telecommunications
University of Athens, Greece
Personal
I was born in Athens, Greece which I like to visit as often as possible.
I enjoy listening to audiobooks, mainly sci-fi –see Goodreads for more–.
I play casual basketball regularly. Contact me if interested to join!