Simon Foster Email & Phone Number

United Kingdom

York, England, United Kingdom

York, United Kingdom

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.

York, United Kingdom

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.

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.

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.

I acquired a first-class Masters in Computer Science.

Phd, Computer Science

The subject of my Thesis is modelling Web services using Timed Process Algebra. It looks at the features needed for modelling.

Mcomp, Computer Science

During my Third year project I developed an implementation of Web services in the functional programming language Haskell. In my fourth.

A-Level, Maths, Physics, Computing