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
Contact
No contact links provided.
Publications
3 items
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
Resume (English only)
Co-authors
42 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
Co-author 5
Kangfeng Ye
Research Associate in Computer Science, University of York
Co-author 7
Peter Gorm Larsen
Aarhus University
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up