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.
15 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 (43)
ocaml10
deriving9
zstandard9
compression-algorithm9
c-libraries9
compiler9
lwt8
code-generation8
reason8
reasonml8
opam8
javascript7
programming-language7
package-repository7
dune7
Programming languages (6)
Github contributions (5)
braibant/articheck
Feb 2014 - Apr 2015
Contributions:42 commits, 2 pushes, 1 branch in 1 year 2 months
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
coqocamlproof-assistant
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.