Accessibility statement

Academic and Teaching Staff

Simon Foster
Academic Staff


  • Verification
  • Theorem Proving (Isabelle/HOL, Agda)
  • Formal Semantics
  • Unifying Theories of Programming
  • Cyber-Physical Systems
  • Theory Engineering
  • Functional Programming
  • Process Algebra


  • PhD Computer Science, University of Sheffield (2010)
  • MComp (Hons) Computer Science, University of Sheffield (2005)


  • (Jun 2018-) PI on CyPhyAssure project
  • (Jan 2018-May 2018) RF on RoboCalc project
  • (2014-2017) RF on H2020 project INTO-CPS (under Prof. Woodcock)
  • (2014) RA on Modular Safety Cases for the Generic Vehicle Architecture (under Prof. Tim Kelly, York)
  • (2012-2014) RA on COMPASS project (under Prof. Jim Woodcock, York)
  • (2009-2012) RA on Higher Order Refinement Techniques for the Model Driven Architecture (under Prof. John Derrick, Sheffield)


Contact details

Department of Computer Science
University of York
Deramore Lane
YO10 5GH

Phone: +44 (0)1904 325424

Office: CSE/013-1

Personal Homepage: