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

• 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
  • Mathematics for Computer Science (MFCS) demonstrator
  • PST group on Problem-Based Learning member
  • Recruiting and supervising a PLASMA Summer Intern, funded by LSCITS
  • Software Engineering Project (SEPR) demonstrator
  • Systems Software & Compilers (SYAC) demonstrator
  • 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 GitHub profile
• My profile on Google Scholar Citations
• My profile on Mendeley