I am a Postdoctoral Research Fellow in Computer Science at the University of York in the UK. I work under Prof. Jim Woodcock on the Horizon 2020 project INTO-CPS.

My interests lie in theorem proving, formal semantics, cyber-physical systems, hybrid systems, 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