Simon Foster
Senior Lecturer

Interests

• Verification
• Theorem Proving (Isabelle/HOL, Agda)
• Formal Semantics
• Unifying Theories of Programming
• Cyber-Physical Systems
• Theory Engineering
• Functional Programming
• Process Algebra

Qualifications

• PhD Computer Science, University of Sheffield (2010)
• MComp (Hons) Computer Science, University of Sheffield (2005)

Career

• (May 2021-present) Lecturer and Module Leader for Assurance and Proof
• (Jun 2018- May 2021) PI on CyPhyAssure project
• (Jan 2018-May 2018) RF on RoboCalc project
• (2014-2017) RF on H2020 project INTO-CPS (under Prof. Woodcock)
• (2014) RA on Modular Safety Cases for the Generic Vehicle Architecture (under Prof. Tim Kelly, York)
• (2012-2014) RA on COMPASS project (under Prof. Jim Woodcock, York)
• (2009-2012) RA on Higher Order Refinement Techniques for the Model Driven Architecture (under Prof. John Derrick, Sheffield)

Departmental and University Roles

• Taught Project Coordinator