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](/media/computerscience/images/cpdimages/people/toshi photo 80x80.jpg)
Toshiko Smith
MSc SCSE and Short Courses Team
![Lauren Armstrong](/media/computerscience/images/cpdimages/people/Lauren Armstrong 80x80.png)
Lauren Armstrong
Business and Partnerships Team (CPD, bespoke courses and consultancy)
Contact us
![Toshiko Smith](/media/computerscience/images/cpdimages/people/toshi photo 80x80.jpg)
Toshiko Smith
MSc SCSE and Short Courses Team
![Lauren Armstrong](/media/computerscience/images/cpdimages/people/Lauren Armstrong 80x80.png)
Lauren Armstrong
Business and Partnerships Team (CPD, bespoke courses and consultancy)