I am a Postdoctoral Research Fellow in Computer Science at the University of York in the UK. I currently hold an EPSRC UKRI Innovation Fellowship entitled CyPhyAssure that looks at mechanising assurance cases for autonomous robots and Cyber-Physical Systems. I previously worked under Prof. Ana Cavalcanti and Prof. Jim Woodcock on the EPSRC project RoboCalc. Prior to this, I worked on the EU Horizon 2020 project INTO-CPS and before that on the COMPASS project.
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