معرفی
Conrad Watt is an Assistant Professor at Nanyang Technological University (NTU), Singapore, specializing in WebAssembly, formal verification, and concurrency. He previously served as a Research Fellow at Peterhouse, University of Cambridge, and earned his PhD under Peter Sewell.
- Co-chair of the W3C WebAssembly Community Group
- Active in WebAssembly standards development, including concurrency specifications
- Developed mechanizations in theorem provers like Isabelle/HOL
- Collaborator with industry (wasmtime engine) and academic teams on verification tools
Research Focus: Formal verification of low-level languages, concurrency models, and security mechanisms for WebAssembly. His work bridges theoretical rigor with practical applications, including WasmRef-Isabelle and threads projects.
Recent Trends: 2025 publications explore separation logic automation and concurrency experiments, while 2024-2023 work emphasizes specification toolchains (SpecTec), verified interpreters, and memory-safe execution techniques.
Scientific Awards
- ACM Doctoral Dissertation Award Honorable Mention
- EAPLS Best Dissertation Award
Advising: Supervises PhD students Qiyuan Xu and Antanas Kalkauskas. Collaborates with researchers like Philippa Gardner and Jean Pichon-Pharabod.
