My research focuses on AI for machine-mediated collaboration. In particular, I am working on formal verification, process modelling, workflow analysis and social machines, and their applications in healthcare.
I am interested in applied research on machines that can help people collaborate better, for example by digitizing processes, integrating the latest technologies, allowing better control over their data, and formally establishing trust.
I am currently working on the “Digiflow” project aimed at the digitisation, monitoring, and optimisation of manufacturing workflows.
I am a member of the Centre of Intelligent Systems and their Applications (CISA) and the Mathematical Reasoning (DReaM) group.
I am an entrepreneur at heart. I led the commercialisation project WorkflowFM, aiming on the optimisation of everyday clinical practices. During that, I 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.
I continue to be an active member of the wider entrepreneurship community in Edinburgh. I am also looking to apply lean startup development techniques in my research.
I obtained my PhD at the same school, under the supervision of Jacques Fleuriot. My thesis is titled “A Formal Verification Approach to Process Modelling and Composition”.
My MSc thesis, under the same supervisor, is titled “On the automation of Inductive Proofs in HOL Light” and was awarded with Distinction.