My current research involves business/workflow process modelling, its formal specification and verification. I am a member of the Software Engineering Group working on the CancerGrid project.
My doctoral research is supported by a studentship under the Microsoft Research Grant from CancerGrid.
Currently I am a research software engineer at Fredhopper BV in Amsterdam working on the EU FP7 project HATS.
I am also finalising my doctoral research at the Computing Laboratory, University of Oxford. My doctoral supervisor is Dr. Jeremy Gibbons. I am a member of Wolfson College.
Before joining the university in October 2005, I was a research student working with Dr. Stephen Jarvis at the High Performance Research Group, University of Warwick, prior to that I was a research assistant working with Dr. Alvin Chan at the Department of Computing, The Hong Kong Polytechnic University (2004). I completed my BSc in Computer Science at the University of Warwick in 2003.
