About Me

I am a Ph.D student within the Programming Languages and Systems (PLASMA) research group. My Ph.D, co-supervised by Professors Colin Runciman and Richard Paige, is investigating the formal verification of functional language implementations. My interests generally lie within the topics of functional languages (in particular, Haskell), semantics and formal methods.

See the projects page for a list of active interests.

Responsibilities

• Spring Term 2012
  • Code Generation & Optimisation (CGO) demonstrator
  • Software Engineering Project (SEPR) demonstrator
• Autumn Term 2011
  • Mathematics for Computer Science (MFCS) demonstrator
  • Systems Software & Compilers (SYAC) demonstrator
• Previous
  • Alcuin College, College Tutor
  • Board of Studies, Research students’ temporary representative
  • Code Generation & Optimisation (CGO) demonstrator
  • Functional Programming (FUN) demonstrator
  • Introduction to Computer Mathematics (ICM) demonstrator
  • Lexical and Syntax Analysis of Programming Languages (LSA) demonstrator
  • Logic Programming & Artificial Intelligence (LPA) demonstrator
  • LSCITS PGR Workshop 2011, Co-chair
  • Recruiting and supervising a PLASMA Summer Intern, funded by LSCITS
  • York Doctoral Symposium 2010, Organising Committee member
  • York Doctoral Symposium 2011, Programme Committee member

Contact

• E-mail: <my first name>@cs.york.ac.uk
• Telephone: +44 (0)1904 325623
• People directory entry
• My profile on Google Scholar Citations
• My profile on Mendeley