Research Overview

As a PhD student, my PhD involves the formal specification of networks/graphs using rewriting systems.