My current research involves process algebras, formal specification and verification of workflow processes, complex services coordination, orchestration and choreography. I am a member of the Software Engineering Group working with others on the CancerGrid project.
My work is supported by a studentship under the Microsoft Research Grant from CancerGrid.
I am currently a research student at the Computing Laboratory, University of Oxford. My supervisor is Dr. Jeremy Gibbons. I am a member of Wolfson College. I have a blog.
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.
