Computer Laboratory

Conrad Watt

I am a Research Fellow at Peterhouse, University of Cambridge. My PhD was supervised by 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