About

Hi there, I’m Taichi Maeda.

My current interests lie in compiler design, software verification, and a bit of (meta-)mathematics.

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

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
  • The official toolchain for producing the WebAssembly specification and key artefacts (e.g. reference interpreter, mechanised definitions).
• WasmCert-Rocq
  • A WebAssembly formalisation in the Rocq (Coq) theorem prover.

Publications

• Lemmagen: Extending the WebAssembly Specification Toolchain for Theorem Provers (Master’s thesis)
  • Final report
  • Presentation slides

Awards

• Dean’s List
  • Top 10% of undergraduate students based on overall academic performance.
• Olav Beckmann Project Prize
  • Awarded annually for outstanding undergraduate project work.