Thomas Swarbrick

PhD student, Associate Lecturer

Research Overview

I am interested in the formal specification of networks/graphs using rewriting systems.