Dr Simon Foster

Dr Simon Foster is a lecturer in Computer Science at the University of York, and a member of the Software Engineering for Robotics group.

He is an expert in interactive theorem proving using Isabelle/HOL, formal verification, and process algebra. He has worked extensively on EU research projects with industrial collaboration, and has recently completed a three-year EPSRC-UKRI fellowship on assurance of cyber-physical systems (CyPhyAssure). He leads the development of Isabelle/UTP, a practical theorem prover for heterogeneous systems, which he has applied to verification of reactive and hybrid systems. He has also developed Isabelle/SACM, an assurance case tool with evidence coming from multiple formal verification tools in Isabelle. He gained his PhD at the University of Sheffield in 2010, which developed a timed process algebra for Web service composition semantics.

Contact us

Toshiko Smith

Toshiko Smith

MSc SCSE and Short Courses Team

cs-safety-courses@york.ac.uk

Tom Rawle

Tom Rawle

Business and Partnership Manager

cs-cpd@york.ac.uk

University of York CPD Team for Generative AI in Engineering and Manufacturing

cpd@york.ac.uk
01904 325145

Contact us

Toshiko Smith

Toshiko Smith

MSc SCSE and Short Courses Team

cs-safety-courses@york.ac.uk

Tom Rawle

Tom Rawle

Business and Partnership Manager

cs-cpd@york.ac.uk

University of York CPD Team for Generative AI in Engineering and Manufacturing

cpd@york.ac.uk
01904 325145