We welcome any student willing to work on the topic of "Global (Graph) Transformations" or related questions.
It is at the interface between model of computations, with a geometric or distributed component, and the theory of category, whose language is used to tackle questions independently of the precise notion of space used (regular grids, graph, hypergraph, simplicial complexes, etc).
The main bibliography on the subject can be found on the following link:
https://dblp.uni-trier.de/search?q=maignan+spicher