About

Hi there, my name is Taichi Maeda.

I am a software engineer at Canonical, the company behind Ubuntu.

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

GPG Fingerprint:

1463 6D53 1FDD FA75 9246 B8AD 0BD7 FB5F A3D1 FCB0

Background

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

Activities

• Go Conference 2026, Germany: Go 1.26 Prints Floats Faster: How I Brought Dragonbox to Go
  • Porting a novel ftoa algorithm Dragonbox into Go’s standard library.
• Go Conference 2026, Germnay: JIT compilation in Go: How I Made cel-go Run 10x Faster
  • Implementing a prototype JIT compiler for the CEL language in Go.
• 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).

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.