Detlef Plump

I am a Senior Lecturer in the Department of Computer Science at the University of York,
where I am a member of the Programming Languages and Systems group.


Current PhD Students

Former PhD Students

  • 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

  • Events

    ICGT 2017 - 10th International Conference on Graph Transformation (part of STAF 2017). Marburg, Germany, July 18-19, 2017

    STAF 2017 - Federation of Conferences on Software Technologies: Applications and Foundations. Marburg, Germany, July 17-21, 2017

    GaM 2017 - 3rd Workshop Graphs as Models (part of ETAPS 2017). Uppsala, Sweden, April 22-23, 2017

    WADT 2016 - 23rd International Workshop on Algebraic Development Techniques. Gregynog, Wales, September 21-24, 2016

    ICGT 2016 - 9th International Conference on Graph Transformation (part of STAF 2016). Vienna, Austria, July 5-6, 2016

    GCM 2016 - 7th International Workshop on Graph Computation Models (part of STAF 2016). Vienna, Austria, July 4, 2016

    TERMGRAPH 2016 - 9th International Workshop on Computing with Terms and Graphs (part of ETAPS 2016). Eindhoven, The Netherlands, April 8, 2016

    Verification of Evolving Graph Structures - Dagstuhl Seminar 15451. Schloss Dagstuhl, Germany, November 1-6, 2015

    ISR 2015 - 8th International School on Rewriting. Leipzig, Germany, August 10-14, 2015


    Publications

    Talks

    Dagstuhl Seminars and Summer Schools

    Teaching

    Further Activities


    Research Interests


    Research Projects for PhD Students


    Contact

    Dr. Detlef Plump
    Department of Computer Science
    The University of York
    Deramore Lane
    York YO10 5GH
    United Kingdom

    E-mail: detlef.plump at york.ac.uk
    Phone: +44 1904 325670
    Fax: +44 1904 325599
    Room: CSE/238