Tobias Tebbi
Software Engineer at XTX Markets
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolTobias Tebbi is a software engineer with 12 years of experience building high-performance compilers and trading systems, currently contributing to exchange trading development at XTX Markets in London. He spent a decade at Google on the V8 team, advancing JIT optimizations, designing the Torque language, and specifying Wasm GC, and has deep expertise in low-level engine internals. His open-source contributions to the V8 repository—particularly refactoring the Turboshaft compiler, adding type guards, and fixing concurrency bugs—have improved developer tooling and runtime verification. Earlier research work at Universität des Saarlandes on Coq and Autosubst demonstrates a strong formal-methods background that informs his pragmatic systems engineering. Known for turning complex compiler invariants into maintainable code, he blends academic rigor with production-grade impact.
12 years of coding experience
6 years of employment as a software developer
Universität des Saarlandes
Github Skills (8)
v810
compiler10
javascript10
c-language10
compiler-compiler10
virtual-machine10
javascript-engine10
cprogramming-language10
Programming languages (10)
Github contributions (5)
coq-community/coqdocjs
Apr 2016 - Nov 2019
Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
Contributions:38 commits, 6 PRs, 35 pushes in 3 years 7 months
maintainerscoqcoqdoccssjavascript
coq-community/autosubst
Apr 2014 - Aug 2016
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Contributions:7 releases, 120 commits, 1 PR in 2 years 4 months
substitutionssreflectincrementaltlavariable-binding
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.