Scholar
Simon Foster
Google Scholar ID: yElOCUAAAAAJ
Senior Lecturer in Computer Science, University of York
Computer Science
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,238
H-index
21
i10-index
40
Publications
20
Co-authors
42
list available
Publications
5 items
Scenes: A Meta-Logical Algebra for Mutable State
2026
Cited
0
Formal Evidence Generation for Assurance Cases for Robotic Software Models
2026
Cited
0
Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
2025
Cited
0
Verifying Numerical Methods with Isabelle/HOL
2025
Cited
0
Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering
Cited
0
Co-authors
10 total
Jim Woodcock
Professor of Software Engineering, University of York
Ana Cavalcanti
University of York
Georg Struth
University of Sheffield
Mario Gleirscher
ENSTA | IP Paris
Kangfeng Ye
Research Associate in Computer Science, University of York
Peter Gorm Larsen
Aarhus University
James Baxter
University of York
Ibrahim Habli
Professor of Safety-Critical Systems at the University of York
