Courses at The University of York

• Computability and Complexity
  Spring 2012

• Computing by Graph Transformation
  Spring 2011, 2010, 2009 and 2008

• Theory of Computation
  Autumn 2010, 2009, 2007, 2006, 2005, 2004, 2003, 2002 and 2001

• Semantics of Programming Languages
  Spring 2006, 2005, 2004 and 2003

• Algorithms and Data Structures
  Spring and Summer 2001

Courses at Universität Bremen

• Programmverifikation [program verification]
  Summer 2000 and Winter 1995/96

• Graphtransformation [graph transformation]
  Summer 1999

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

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

• Spezifikation und Verifikation nebenläufiger Systeme [specification and verification of concurrent systems]
  Summer 1996

• Grundlagen der funktionalen Programmierung [foundations of functional programming]
  Summer 1995

• Graphersetzungssysteme [graph rewriting systems]
  Winter 1993/94

• Termersetzungssysteme [term rewriting systems]
  Summer 1993

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

Seminars at Universität Bremen

• Termersetzungssysteme [term rewriting systems]
  Winter 1998/99

• Graphreduktion [graph reduction]
  Summer 1992

Supervision of Master Dissertations

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• Alvin Tan: HYTRA Interpreter
  MEng dissertation, University of York, 2002

Supervision of Undergraduate Dissertations

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

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

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

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

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

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

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

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

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

• David Edwards: Drawing Planar Graphs
  BEng dissertation, University of York, 2005

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

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

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

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

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

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

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

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

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

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

• Adam Granger: An Experimental System for Term Graph Rewriting
  BEng dissertation, University of York, 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, University of York, 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)