Diego Cupello PhD Student
Diego is a PhD student at the Department of Computing at Imperial, under the supervision of Professor Philippa Gardner. He joined in 2025 after having done the Master Thesis with Professor Philippa Gardner on the topic of mechanizing Wasm SpecTec.
His primary research focus is maintaining and mechanizing language specifications, having WebAssembly as the real-world example of a programming language.