Computer Laboratory

Conrad Watt

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

I currently serve as an Invited Expert to the W3C WebAssembly Working Group.

I have developed various Isabelle models of the WebAssembly language, the most up-to-date of which can be found here.


Invited Talks