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
webassembly10
compiler-compiler10
c-language10
javascript-engine10
cprogramming-language10
testing10
performance-optimization9
arm9
virtual-machine8
interpreter8
Programming languages (3)
Github contributions (5)
thibaudmichaud/a2c
Jan 2015 - May 2015
Contributions:133 commits, 226 pushes, 62 branches in 4 months
compilerprogramming-languageepitaalgorithmic
thibaudmichaud/exception-handling
Apr 2021 - Oct 2024
Contributions:15 pushes, 2 branches in 3 years 6 months
exception-handlinghandlingwasmwebassembly
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.