Courses at the University of York

• Formal Languages & Automata
  2024/25

• Computability, Complexity and Logic
  2024/25; 2023/24

• Computability and Complexity
  2022/23; 2021/22; 2020/21; 2019/20; 2018/19; 2017/18; 2016/17; 2015/16; 2014/15; 2012/13; 2011/12

• Theory of Computation
  2010/11; 2009/10; 2007/2008; 2006/07; 2005/06; 2004/05; 2003/04; 2002/03; 2001/02

• Computing by Graph Transformation
  2023/24; 2022/23; 2021/22; 2019/20; 2018/19; 2017/18; 2016/17; 2015/16; 2014/15; 2013/14; 2012/13; 2010/11; 2009/10; 2008/09; 2007/08

• Semantics of Programming Languages
  2005/06; 2004/05; 2003/04; 2002/03

• Algorithms and Data Structures
  2000/01

Courses at Universität Bremen

• Programmverifikation [program verification]
  1999/2000; 1995/96

• Graphtransformation [graph transformation]
  1998/99

• Grundlagen des maschinellen Beweisens [foundations of mechanical theorem proving]
  1998/99

• Logische Grundlagen der Informatik [logical foundations of computer science]
  1996/97

• Spezifikation und Verifikation nebenläufiger Systeme [specification and verification of concurrent systems]
  1995/96

• Grundlagen der funktionalen Programmierung [foundations of functional programming]
  1994/95

• Graphersetzungssysteme [graph rewriting systems]
  1993/94

• Termersetzungssysteme [term rewriting systems]
  1992/93

• Logik für Informatiker [logic for computer scientists]
  1990/91

Seminars at Universität Bremen

• Termersetzungssysteme [term rewriting systems]
  1998/99

• Graphreduktion [graph reduction]
  1991/92

Supervision of Master Dissertations at the University of York

• Aina Lin: Drawing Hierarchical Graphs
  MSc dissertation, 2024

• Qiaochu Zhang: Dijkstra's Shortest Path Algorithm in GP 2
  MSc dissertation, 2024

• James Pursglove: An Integrated Development Environment for GP 2
  MEng dissertation, 2024

• Patrick Maloney: Integrated Development Environment for GP 2
  MEng dissertation, 2020

• David Norman: Grammar-Based Generation of Random Graphs
  MEng dissertation, 2020

• Simon Davison: Linear Graph Algorithms in GP 2
  MEng dissertation, 2019

• Jocelyn Mennell: Congruence Closure in GP 2
  MEng dissertation, 2018

• Joshua Asch: Tracing and Debugging GP 2
  MEng dissertation, 2017

• Evan Cooper: Implementing Operations on Pushdown Automata as Graph Programs
  MEng dissertation, 2017

• Huw Taylor: Tracing and Debugging GP 2
  MEng dissertation, 2016

• Alexander Elliott: Towards an Integrated Development Environment for GP 2
  MEng dissertation, 2013

• Nihat Onder: A New User Interface for the GP Editor
  MSc dissertation, 2011

• Jonathan Wainwright: Graphs in LaTeX: A Web-Based Translator from Graph Style to TikZ
  MSc dissertation, 2011

• Alexander Williams: Verifying Pointer Structures in C Programs Using Graph Programming
  MEng dissertation, 2011

• Yue Chen: A Random-Graph Generator
  MSc dissertation, 2010

• Nan Lu: GraTeX: A Tool for Creating Graphs in LaTeX Documents
  MSc dissertation, 2010

• Jose Calderon: Graph Coloring with Graph Programs
  MSc dissertation, 2010

• Philip Cavanagh: Generating the Isomorphism Classes of a Set of Graphs
  MMath dissertation, 2010

• Jichang Gong: A Graphical Editor for Graphs in LaTeX Documents
  MSc dissertation, 2009

• Yanan Sun: A Graph Generator based on Graph Grammars
  MSc dissertation, 2008

• Panagiotis Pappas: Graph Algorithms in GP
  MSc dissertation, 2007

• Feng Bian: A Random-Graph Generator
  MSc dissertation, 2007

• Wei Liu: A Graphical Editor for C-GRS
  MSc dissertation, 2007

• Li Da: A Tool for Structural Operational Semantics
  MSc dissertation, 2007

• Zheng Zhang: A Graphical Editor for the GP Programming Language
  MSc dissertation, 2006

• Stewart Southern: A Performance Comparison of Algorithms to Solve the Subgraph-Isomorphism Problem
  MEng dissertation, 2006

• Brian Yarr: Visualising Context-free Languages
  MEng dissertation, 2005

• Tang Bo: Implementing Graph Transformation
  MSc dissertation (by research), 2004

• Rory Dowd: A Graphical Tool Kit for Regular Languages
  MEng dissertation, 2004

• Tom Mizutani: A Visual Tool for Graph-Reduction Specifications
  MEng dissertation, 2003

• Alvin Tan: HYTRA Interpreter
  MEng dissertation, 2002

Supervision of Undergraduate Dissertations at the University of York

• Harry Moore: Drawing Hierarchical Graphs
  BSc dissertation, 2023

• Ziad Ismaili Alaoui: The Bellman-Ford Shortest Path Algorithm in GP 2
  BSc dissertation, 2023

• Adam Nicholson: Solving Rubik's Cube by Machine Learning
  BSc dissertation, 2023

• Blake Charles: Automatic Graph Layout for GP 2
  BSc dissertation, 2023

• Stephen Jones: Congruence Closure in GP 2
  BSc dissertation, 2022

• Bruno Davies: Grammar-Based Generation of Random Graphs
  BEng dissertation, 2022

• Callum Pritchard: Exploring a New Solution to the Travelling Salesman Problem
  BEng dissertation, 2022

• Tammy Yeung: Group Formation Tool for Collaborative Learning
  BEng dissertation, 2022

• Jonathan Grout: Group Formation Tool for Collaborative Learning
  BEng dissertation, 2022

• Laurence Uwins: Bellman-Ford Shortest-Path Algorithm in GP 2
  BEng dissertation, 2021

• Chun Kin Wu: Testing Graph Programs on Random Graphs
  BEng dissertation, 2021

• Hector Stalker: Runtime Checking of Graph Programs
  BEng dissertation, 2020

• Joseph Leigh: Bellman-Ford Shortest-Path Algorithm in GP 2
  BEng dissertation, 2020

• Thomas Andrew: Congruence Closure in GP 2
  BEng dissertation, 2019

• Mark Henrick: Generation of Uniformly-Random Graphs
  BEng dissertation, 2019

• George Williams: Graph-Based Transformation of Turing Machines
  BEng dissertation, 2019

• Graham Campbell: Efficient Graph Rewriting
  BSc dissertation, 2019

• Jack Romo: Turing Machine Networks
  BSc dissertation, 2019

• Samuel Hand: A Graphical Editor for GP2
  BSc dissertation, 2019

• Ciaran Moran: Implementing the Schorr-Waite Graph Marking Algorithm in GP2
  BEng dissertation, 2018

• Vladimir Lobachev: Unification of List Expressions
  BEng dissertation, 2018

• Jacob Burdon: Grammar-based Graph Generation with Ambiguous Grammars
  BEng dissertation, 2017

• George Hawes: Grammar-Based Graph Generation
  BEng dissertation, 2016

• Thomas Gatenby: Graph-Based Manipulation of Automata
  BEng dissertation, 2016

• Carla Lawrence: Uniform Generation of Graph Languages
  BEng dissertation, 2015

• Georgia Corlett: Manipulating Automata with Graph Programs
  BEng dissertation, 2014

• Lyubomir Kozlovski: Case Studies in Graph Algorithms
  BEng dissertation, 2014

• Filip Pawlowski: Shape Types in Graph Programs
  BEng dissertation, 2014

• Jake Coxon: Uniform Random Generation of Graphs with Graph Grammars
  BEng dissertation, 2013

• Matthew Holland: Parsing Rooted Graph Programs
  BEng dissertation, 2013

• Matthew Button: Translating between Graph Style and TikZ
  BEng dissertation, 2013

• Thomas Wright: Simulating Pointer Data Structures with the Graph Programming Language GP
  BEng dissertation, 2010

• Yat Kwan: Solving Hard Graph Problems with GP
  BEng dissertation, 2010

• Christopher Poskitt: Checking Graph Properties with the Graph Programming Language GP
  BEng dissertation, 2009

• Yao Tang: A Graphical Editor for Graphs in LaTeX Documents
  BEng dissertation, 2008

• Christopher Heseltine: A Graphical Editor for Graph-Reduction Specifications
  BEng dissertation, 2006

• Michael Leach: A Random-Graph Generator
  BEng dissertation, 2006

• Jonathan Maycock: Rule-Based String Manipulation
  BEng dissertation, 2006

• Richard Moorhouse: Planar Graphs: Testing and Visualisation
  BEng dissertation, 2006

• Yan Yang: Animating Binary Decision Diagrams
  BEng dissertation, 2005

• David Edwards: Drawing Planar Graphs
  BEng dissertation, 2005

• Amrit Santhirasenan: Animating Term Rewriting Systems
  BEng dissertation, 2005

• Gregory Manning: A Graphical Editor for Term Graphs
  BEng dissertation, 2004

• Peter Harris: Visualising Pointer-Data Structures
  BEng dissertation, 2004

• Matthew Porter: Experimenting with Turing Machines
  BEng dissertation, 2004

• Michael Vasiljev: A Programming Language for Graph Transformation
  BEng dissertation, 2004

• Geoffrey Crossland: Integrating Graph Type Specifications into C
  third-year project report, 2003

• Graham Eames: Animation of Turing Machines
  BEng dissertation, 2003

• David Critchley: Animation of Chomsky Grammars
  BEng dissertation, 2003

• Nathan Edwards: Implementing Hierarchical Hypergraph Transformations
  BEng dissertation, 2003

• Stephen Willoughby: Visualising Hierarchical Hypergraphs: An Editor
  BEng dissertation, 2002

• Adam Granger: An Experimental System for Term Graph Rewriting
  BEng dissertation, 2002

• Alistair Findlay: An Editor for Graphs and Graph Transformation Rules
  BEng dissertation, University of York, 2002

• Marc Alderman: Aesthetic Drawing of Term Graphs
  BEng dissertation, 2002

Supervision of German Diploma Theses

• Sandra Steinert: Graph Programs for Graph Algorithms
  Universität Oldenburg, 2003 (external examiner)

• Andreas Rugo: Verifikation des Doppelrechnersystems: Fallstudie zur Verifikation nichtdeterministischer sequentieller Programme
  [verification of the double-computer system: case study in the verification of nondeterministic sequential programs], Universität Bremen, 1998 (examiner)

• Alexander Funk: Vergleich von Reduktionsverfahren für den Lambda-Kalkül
  [comparison of reduction methods for the lambda calculus], Universität Bremen, 1996 (supervisor and examiner)

• Udo Stolper: The Sharing Machine
  Universität Bremen, 1994 (supervisor and examiner)

• Beate Schulte and Thorsten Ahlers: Dschungelauswertung mit neuen Regeltypen
  [jungle evaluation with new types of rules], Universität Bremen, 1991 (supervisor and examiner)

• Thomas Kendelbacher: Machete - Wege durch den Dschungel
  [machete - ways through the jungle], Universität Bremen, 1988 (supervisor and examiner)