
Registered user since Sat 6 Jun 2020
Simon Foster is a Senior Lecturer (Associate Professor) at the University of York, and member of the RoboStar Centre of Excellence on Software Engineering for Robotics. His primary research applies theorem proving to formal verification and he leads the development of Isabelle/UTP, a practical verification ecosystem for heterogeneous systems based on Isabelle/HOL. He has applied Isabelle/UTP to verification tools for autonomous and mobile robots, cyber-physical systems, process algebras, and reactive programs. He has also developed Isabelle/SACM, an interactive tool for assurance cases 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. Since then, he has worked on a variety of EU and EPSRC projects using diverse aspects of formal verification and assurance. He teaches logic and formal proof to undergraduate students, and assured software engineering to industrialists.
Contributions