Detlef Plump

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


Current PhD Students

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

  • Events

    TERMGRAPH 2020 - 11th International Workshop on Computing with Terms and Graphs (part of FSCD 2020). Online, July 5, 2020

    ICGT 2020 - 13th International Conference on Graph Transformation. Online, June 25-26, 2020

    GCM 2020 - 11th International Workshop on Graph Computation Models. Online, June 24, 2020

    STAF 2020 - Federation of Conferences on Software Technologies: Applications and Foundations. Online, June 22-26, 2020

    STRINGS 2019 - 3rd Workshop on String Diagrams in Computation, Logic and Physics. Birmingham, United Kingdom, September 5-6, 2019

    GCM 2019 - 10th International Workshop on Graph Computation Models. Eindhoven, The Netherlands, July 17, 2019

    ICGT 2019 - 12th International Conference on Graph Transformation. Eindhoven, The Netherlands, July 15-16, 2019

    STAF 2019 - Federation of Conferences on Software Technologies: Applications and Foundations. Eindhoven, The Netherlands, July 15-19, 2019

    TERMGRAPH 2018 - 10th International Workshop on Computing with Terms and Graphs (part of FLOC 2018). Oxford, United Kingdom, July 7, 2018

    LSGT 2018 - Leverhulme School on Graph Transformation Techniques. Royal Holloway University, Egham, United Kingdom, June 29-July 1, 2018

    GCM 2018 - 9th International Workshop on Graph Computation Models. Toulouse, France, June 27, 2018

    ICGT 2018 - 11th International Conference on Graph Transformation. Toulouse, France, June 25-26, 2018

    STAF 2018 - Federation of Conferences on Software Technologies: Applications and Foundations. Toulouse, France, June 25-29, 2018

    LATA 2018 - 12th International Conference on Language and Automata Theory and Applications. Bar Ilan University, Israel, April 8-12, 2018


    Publications

    Talks

    Dagstuhl Seminars and Summer Schools

    Teaching

    Further Activities


    Research Projects for PhD Students


    Former Programming Languages and Systems Research Group


    Contact

    Dr. Detlef Plump
    Department of Computer Science
    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