As a PhD student, I am interested in building systems that are efficient, secure, and grounded in the practical application of mathematical rigour. My PhD involves the formal specification of networks using rewriting systems, and exploring their applications in networked systems.