July 2019 - September 2019
During the summer of 2019, I continued to work on graph transformation, looking at efficient graph language recognition using double pushout graph transformation. I was supervised Dr Detlef Plump and funded by a Vacation Internship from the Engineering and Physical Sciences Research Council (EPSRC).
Among other things, I have recovered the Critical Pair Lemma for the new notion of rooted GT systems with relabelling from my BSc Thesis. I was also working on a couple of co-authored papers, which we look to submit to journals in 2020.
The project report will be available here.