About

Hi there, my name is Taichi Maeda.

I am a software engineer at CyberAgent, currently working on ABEMA.

I am broadly interested in computer science and enjoy learning new things across different areas. I am also a big fan of Go.

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

Background

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

Activities

• Go Conference 2025, Japan: “Crispifying” Go’s Mutex
  • Implementing Go’s mutex from scratch and verifying it with SPIN model checker.
• 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

• Golang
  • The Go programming language
• 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

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.