PhD research

Much of my current research is based around the Parmenides system. If you've heard about, or read about, Parmenides and would like to use our current prototypical system, please click here.

Further information about the system, including relevant publications are available at the above link.

During the academic year 2008-2009, my entry to the university poster day won a "Highly Commended" award. See here for more details.

Other projects

In addition to my PhD research, I am also a technical assistant on the CAT Tournament, a Marked Based Control project.

I am also working with Dr. Peter McBurney on an online archive of auction protocols, developed in BPEL. More information and web links to this project will be available shortly.