Simon Foster
Research Staff

Interests

  • Theorem Proving (Isabelle, Agda)
  • Functional Programming
  • Theory Engineering
  • Formal Semantics
  • Process Algebra
  • Model-based Development
  • Systems Assurance

Qualifications

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

Career

  • (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)

Photo

Contact details

Department of Computer Science
University of York
Deramore Lane
York
YO10 5GH

Phone: +44 (0)1904 325424

Fax: +44 (0)1904 325599

Office: CSE/013-1

E-mail:
Personal Homepage: http://www-users.cs.york.ac.uk/~simonf/