Algebraic Routing
This research bridges the gap between an algebraic model of network routing protocols and a low-level model of their asynchronous behaviour, formalising the results in Agda. It builds on over a decade of work in routing algebras by Prof Timothy Griffin and Dr Matthew Daggitt, where they use algebraic structures to reason about network protocols. My bachelor thesis laid the foundation in a synchronous setting, and my master thesis extended it to the asynchronous nature of real-world routing. For both theses I was supervised by Prof Timothy Griffin.
- Palantir prize for highly commended Part II dissertation. Computer Laboratory, University of Cambridge, 2019