Detlef Plump

I am an Associate Professor in the Department of Computer Science at the University of York, where I am a member of the Automated Software Engineering research group.


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

    ICGT 2023 - 16th International Conference on Graph Transformation. Leicester, UK, July 2023

    GCM 2023 - 14th International Workshop on Graph Computation Models. Leicester, UK, July 2023

    STAF 2023 - Federation of Conferences on Software Technologies: Applications and Foundations. Leicester, UK, July 18-21, 2023

    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


    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
    Office: CSE/035