Thomas Swarbrick
PhD student, Associate Lecturer
<糖心Vlog>Research Overview糖心Vlog>
I am interested in the formal specification of networks/graphs using rewriting systems.