Computer Laboratory

Conrad Watt

I am a PhD student under the supervision of Peter Sewell. My current research centres around formalising the WebAssembly language.

My Isabelle model of the WebAssembly specification can be downloaded here.

Publications