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.
13 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 (30)
isabelle9
overriding8
frank7
hol7
ontology7
mathematical7
cytoscapejs7
iso7
azerothcore7
wolfram-language7
interaction6
lenses6
explore6
electrophysiology6
semantics6
Programming languages (2)
Github contributions (5)
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, 138 pushes in 1 year 6 months
isabelleisomathematicalisabelle-holhol
isabelle-utp/CyPhyAssure
Nov 2020 - Jan 2025
Distribution of the CyPhyAssure tools
Contributions:1 release, 1 PR, 107 pushes in 4 years 2 months
pythonvolume-renderingcytoscapejsc-plus-pluselectrophysiology
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.