Detlef Plump

I am an Associate Professor in the Department of Computer Science at the University of York.


Current PhD Students

Former PhD Students

  • Gia Wulandari: Verifying Graph Programs with Monadic Second-Order Logic
    PhD thesis, 2021

  • 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 2022 - 12th International Workshop on Computing with Terms and Graphs (Part of FLoC 2022). Haifa, Israel, August 1, 2022

    ICGT 2022 - 15th International Conference on Graph Transformation. Nantes, France, July 7-8, 2022

    GCM 2022 - 13th International Workshop on Graph Computation Models. Nantes, France, July 6, 2022

    STAF 2022 - Federation of Conferences on Software Technologies: Applications and Foundations. Nantes, France, July 4-8, 2022

    ICGT 2021 - 14th International Conference on Graph Transformation. Online, June 24-25, 2021

    GCM 2021 - 12th International Workshop on Graph Computation Models. Online, June 22, 2021

    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


    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