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

ORCID iD iconorcid.org/0000-0002-9889-9514

LinkedIn iconlinkedin.com/in/simondfoster