I am working under Prof. Ana Cavalcanti and Jim Woodcock on the RoboCalc project, which looks at the development of modelling and verification techniques for robots and autonomous systems. Previously, I worked on the INTO-CPS project which looked at modelling and design space exploration for Cyber-Physical Systems.

I worked on the EU FP7 project COMPASS looking at Systems of Systems engineering under Prof. Jim Woodcock. My role on the project was building a verification environment for CML models using the theorem prover Isabelle, and also a tool for formal refinement of CML models. I have also worked with Prof. Tim Kelly on Modular Safety Cases and their application to the Generic Vehicle Architecture (GVA).

I worked on a project entitled "Higher Order Refinement Techniques for the Model Driven Architecture", EPSRC Grant EP/G031711/1. The purpose of the project is formalise refinement of Model Driven Engineering in constructive type theory. MDE involves describing a software system in terms of a number of abstract models (e.g. class diagrams, state charts etc.) and then transforming these into concrete models, such as Java code. We have formalised the MOF in the constructively typed programming language, Agda and intend to use this to describe model tranformations and compositions thereof. We will then apply refinement techniques to enable semi-automated software development.

The title of my Thesis is "A Compositional Semantic Theory for Service Composition" in which I looked at formal semantics for Web service composition in terms of an abstract timed process calculus. More information can be found on my website. During my PhD I performed demonstrating duties on a number of courses. This involved answering student questions, explaining problem solutions and revision classes. I also gave a number of lectures.

I acquired a first-class Masters in Computer Science.