Skip to main content

Eric Kerfoot

Interests

  • Object-oriented specification
  • Design-by-Contract
  • JML
  • Compiler and code generator design
  • Static analysis
  • Formal specification of cooperative object relationships
  • Object-oriented Concurrency (Active Objects)
  • Aspect-oriented programming
  • Aspect-based runtime assertion checking

Biography

  • DPhil (PhD) in Computer Science, University of Oxford (2010)
  • Research Officer, Computational Biology, University of Oxford (2010)
  • Honours BSc Computer Science with Software Engineering Specialization, University of Western Ontario (2005)
  • Research Assistant, York University, Toronto, Canada (2005)
  • Teaching Assistant, Software Engineering Programme, Department of Computer Science, University of Oxford (2005-)

Selected Publications

View AllManage publications

Activities