معرفی
Detlef Plump is a Senior Lecturer in the Department of Computer Science at the University of York, UK, where he has worked since 2001. His academic journey includes roles as Assistant Professor at the University of Bremen (1993-2000), Lecturer at the University of York (2000-2001), and Research Associate at the University of Bremen (1987-1993). He holds a Dipl.-Inform degree, Dr.-Ing, and Habilitation from the University of Bremen.
His research focuses on graph transformation, graph-based programming models, and rewriting systems, with contributions to theoretical computer science. He has held visiting researcher positions at Heriot-Watt University (Edinburgh), the University of Nijmegen, and the Free University of Amsterdam, accumulating over two years of collaborative research in the Netherlands.
At York, he serves as ECA Officer and Programme Leader for the CS/Maths Undergraduate Programmes. His contact details include office CSE/035 and phone +44 (0)1904 325670. His work integrates formal methods with practical applications in graph computation models and algorithm design.
Detlef’s contributions span graph program compilers, verification techniques, and theoretical foundations, as evidenced by his extensive publication record in venues like the Journal of Logical and Algebraic Methods in Programming. He emphasizes efficiency and correctness in graph-based systems, addressing challenges in both academia and industry.
