Computer Laboratory

Conrad Watt

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

Unpublished work

Publications