Algebraic Routing
Research at the University of Cambridge, supervised by Prof. Timothy Griffin. It presents new results on the asynchronous behaviour of routing protocols, and formalises them in Agda. It builds on decades of work in algebraic routing by Prof Timothy Griffin and PhD research by 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.