I am an Associate Professor (Senior Lecturer) in the Department of Computer Science at the University of York.

Current PhD Students

• Federico Vastarini: Property-Based Testing of Graph Programs
  PhD student since 2019
• Brian Courtehoute: Efficient Graph Programs
  PhD student since 2018
• Gia Wulandari: Reasoning about Graph Programs
  PhD student since 2016

Former PhD Students

• Tim Atkinson: Evolving Graphs by Graph Programming
  PhD thesis, 2019 (co-supervised with Susan Stepney)
• Ivaylo Hristakiev: Confluence Analysis for a Graph Programming Language
  PhD thesis, 2017
• Chris Bak: GP 2: Efficient Implementation of a Graph Programming Language
  PhD thesis, 2015
• Chris Poskitt: Verification of Graph Programs
  PhD thesis, 2013
• Mike Dodds: Graph Transformation and Pointer Structures
  PhD thesis, 2008
• Sandra Steinert: The Graph Programming Language GP
  PhD thesis, 2007