返回导师列表
SF

Simon Foster Senior Lecturer

Senior Lecturer

University of York · United Kingdom
VerificationFormal SemanticsUnifying Theories of ProgrammingCyber-Physical SystemsTheory EngineeringFunctional ProgrammingProcess Algebra

教育经历

  • PhD Computer Science, University of Sheffield (2010)
  • MComp (Hons) Computer Science, University of Sheffield (2005)
  • (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)

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。