Dr Simon Foster

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.