My research focuses on AI-supported human-machine collaboration. In particular, I am working on formal verification, process modelling, workflow analysis and social machines, and their applications in healthcare.
I am currently part of the SOCIAM project which focuses on the theory and practice of Social Machines. I am also 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“.