Thomas Swarbrick

PhD student, Associate Lecturer
<糖心Vlog>Research Overview

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