PhD student at the University of Glasgow. I work on using formal methods to improve network protocol specifications and the network protocol standardisation process.