Thomas Braibant
Head Of Market Data Technology
England, United Kingdom
Summary
👤
Senior🎓
Top SchoolThomas Braibant is a Head of Market Data Technology and seasoned engineer with 14 years' experience bridging rigorous academic research in theoretical computer science and high-performance trading systems. Trained in formal methods and advanced functional programming (OCaml, Coq) through PhD and postdoc work at INRIA and MIT, he builds computer-assisted reasoning tools to certify and improve real-world software. After senior engineering roles at Jane Street and leadership positions at Cryptosense and Quadrature, he now leads market data technology while also contributing to quant development. Colleagues know him for bringing formal proof techniques into production contexts—making correctness a practical asset rather than an academic ideal.
14 years of coding experience
7 years of employment as a software developer
Master Computer Science, Master Computer Science at ENS Lyon
English, French
Github Skills (70)
multicore10
dune10
idris10
gleam10
ocaml10
dub10
apl10
deriving10
opam9
zlib9
compiler9
lz49
compression-algorithm9
ppx9
reason9
Programming languages (7)
Github contributions (5)
braibant/coq-tutorial-ml-tactics
Jul 2011 - Sep 2016
A tutorial on how to write OCaml tactics for the Coq proof assistant
Contributions:4 commits, 1 PR, 1 push in 5 years 3 months
assistantocamlcoq-proof-assistantproof-assistantcoq
braibant/articheck
Feb 2014 - Apr 2015
Contributions:42 commits, 2 pushes, 1 branch in 1 year 2 months
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.