About

I’m Taichi Maeda, a final-year student at Imperial College London.

My current interest lies in compiler design, software verification, and a bit of type theory, proof theory and model theory.

Please contact me on LinkedIn if you would like a copy of my CV.

• GitHub
• LinkedIn

Background

• 2021-2025: Imperial College London (MEng Computing)
• 2017-2021: Institute Le Rosey (IB Diploma)

Activities

• PLDI 2025, South Korea: Verification of WebAssembly Features
  • Contributed to research presented by Prof. Philippa Gardner.
• Dagstuhl Seminar 2025, Germany: Utilising and Scaling the WebAssembly Semantics
  • Contributed to research presented by PhD student Diego Cupello.

Contributions

• SpecTec
  • DSL and toolchain that facilitates both the Wasm specification and the generation of artifacts necessary to standardize new features.
• WasmCert-Rocq
  • A WebAssembly formalisation in Coq (Rocq), based on the official specification.

Publications

• Lemmagen: Extending the WebAssembly Specification Toolchain for Theorem Provers (MEng individual project)
  • Final report (coming soon)
  • Presentation slides (coming soon)

Awards

• Olav Beckmann Project Prize
  • Awarded annually for outstanding second-year undergraduate laboratory project work.