Simon Foster
Scholar

Simon Foster

Google Scholar ID: yElOCUAAAAAJ
Senior Lecturer in Computer Science, University of York
Computer Science
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
Jim Woodcock
Professor of Software Engineering, University of York
Ana Cavalcanti
Ana Cavalcanti
University of York
Georg Struth
Georg Struth
University of Sheffield
Mario Gleirscher
Mario Gleirscher
ENSTA | IP Paris
Co-author 5
Co-author 5
Kangfeng Ye
Kangfeng Ye
Research Associate in Computer Science, University of York
Co-author 7
Co-author 7
Peter Gorm Larsen
Peter Gorm Larsen
Aarhus University