Algebraic Routing
This research bridges the gap between the high-level algebraic model of routing protocols and a more realistic low-level model of their asynchronous behaviour, formalising the results in Agda. It builds on over a decade of work in algebraic routing 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