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)