I am a Lecturer in Computer Science at the University of York in the UK, and module leader for Assurance and Proof (PROF). I previously held an EPSRC UKRI Innovation Fellowship entitled CyPhyAssure, which looked at mechanising assurance cases for autonomous robots and Cyber-Physical Systems. I also 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