معرفی
Conrad Watt is an Assistant Professor at Nanyang Technological University in Singapore. His research focuses on the formal verification and mechanisation of WebAssembly, particularly its concurrency and security features. He previously held a Research Fellow position at Peterhouse, University of Cambridge.
His work bridges theoretical formal methods with practical systems implementation, contributing to standards proposals for WebAssembly's evolution. He co-chairs the W3C WebAssembly Community Group and has served on program committees for POPL, PLDI, and SPLASH.
- Education: PhD in Computer Science (University of Cambridge, 2021), supervised by Peter Sewell
Research interests include mechanisation of programming language specifications, relaxed-memory concurrency, and domain-specific languages for formal semantics. His projects like SpecTec aim to unify WebAssembly's specification across documentation, implementations, and mechanisations.
Selected contributions to WebAssembly include:
- Designing its initial concurrency specification
- Developing WasmRef-Isabelle as a verified interpreter and fuzzing oracle
- Creating Iris-Wasm for modular program verification
Scientific recognition includes:
- ACM Doctoral Dissertation Award Honorable Mention
- EAPLS Best Dissertation Award
He advises PhD students in WebAssembly-related topics and leads collaborations with industrial partners like Wasmtime. Current research explores irreducible control flow in WebAssembly, richer concurrency models, and performance optimization through mechanised specifications.
