Thibaud Michaud
Software Engineer at Google
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolThibaud Michaud is a software engineer based in Paris with 13 years of experience focused on compilers, WebAssembly and low-level systems. Currently on Google’s WebAssembly team, he has contributed to V8 upstream work—implementing Wasm features like tail calls and relaxed SIMD, fixing memory-safety bugs, and optimizing register allocation. His background blends formal methods and fuzzing from internships at NVIDIA and EPITA research, giving him a rigorous approach to correctness and automated testing. Early work on concurrency and actor-model networking for a multiplayer game adds practical distributed-systems experience. Comfortable in C++ and compiler internals, he brings both research-driven techniques and production-grade engineering to performance- and safety-critical code. An understated strength is his track record of turning formal analysis into pragmatic fixes that improve both reliability and execution speed.
13 years of coding experience
Computer Engineering, Computer Engineering at EPITA: Ingénierie Informatique
French, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (12)
compiler10
blazor-webassembly10
compiler-compiler10
webassembly10
c-language10
javascript-engine10
cprogramming-language10
testing10
performance-optimization9
arm9
virtual-machine8
interpreter8
Programming languages (4)
Github contributions (5)
v8/v8
Jan 2023 - Mar 2023
The official mirror of the V8 Git repository
Role in this project:
Backend Developer
Backend DeveloperContributions:13 commits in 1 month
Contributions summary:Thibaud primarily contributed to the V8 JavaScript engine, focusing on bug fixes, testing, and performance improvements within the WebAssembly (Wasm) and compiler areas. They addressed issues related to memory safety, specifically fixing handle dereference problems in the move fuzzer and mitigating a spurious memory safety analysis error. Their work included implementing new Wasm features such as tail calls and relaxed SIMD instructions, and optimizing the register allocation process.
javascript-enginevirtual-machinecompilerinterpreterjavascript
thibaudmichaud/a2c
Jan 2015 - May 2015
A compiler for the algorithmic language taught at EPITA.
Contributions:133 commits, 226 pushes, 62 branches in 4 months
compiler
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.