Welcome

I am a Research Associate in Computer Science at the University of York in the UK. I work under Prof. Jim Woodcock on the EU FP7 project COMPASS.

My interests lie in theorem proving, process algebra, denotational semantics, algebraic methods, and functional programming. In particular I use the Isabelle/HOL for much of my work, including an implementation of Hoare and He's Unifying Theories of Programming called Isabelle/UTP.

For more information, please see my Academic CV.

email: simon.foster at york.ac.uk