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 also an entrepreneur, working on the commercialisation project WorkflowFM, aiming on the optimisation of everyday clinical practices.
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“.