Simon Foster
Senior Lecturer at University of York
York, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolSimon Foster is a Senior Lecturer and formal methods researcher with 14+ years’ experience developing automated software verification tools using denotational semantics in Isabelle/HOL. He leads application of the Isabelle/UTP platform to verification of concurrent, cyber-physical, and systems-of-systems, and actively pursues technology transfer to industrial safety assurance. His work spans academia and large EU projects (COMPASS, INTO-CPS, RoboCalc), combining theorem proving, modelling, and refinement techniques to make formal verification practical for robots and autonomous systems. Based in York, he blends deep theoretical expertise with hands-on tool-building—an uncommon mix that has produced reusable verification environments and formal refinement toolchains.
14 years of coding experience
7 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at The University of SheffieldA-Level, Maths, Physics, Computing, A-Level, Maths, Physics, Computing at Chesterfield College
Github Skills (21)
hol10
theory10
isabelle10
mathematical9
overriding8
lenses8
frank7
ontology7
iso7
azerothcore7
wolfram-language7
interaction6
explore6
volume-rendering6
cytoscapejs6
Programming languages (2)
Github contributions (5)
isabelle-utp/Z_Machines
Sep 2021 - Apr 2025
Z-style Machines based on Interaction Trees
Contributions:2 PRs, 94 pushes, 3 branches in 3 years 8 months
interactionazerothcoremachineswolfram-languagetrees
isabelle-utp/Z_Toolkit
Feb 2021 - Sep 2022
This is an implementation of the Z mathematical toolkit in Isabelle/HOL, as described in ISO 13568:2002.
Contributions:138 commits, 1 PR, 145 pushes in 1 year 6 months
isabelleisomathematicalisabelle-holhol
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.