Guillaume Bury
Research And Development Engineer at OCamlPro
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolGuillaume Bury is a research and development engineer based in Paris with 14 years of experience building high-performance, correctness-focused tooling for automated reasoning and formal proofs. Currently completing a PhD in computer science, he develops OCaml libraries for theorem proving and SMT integration—several of which are published on opam and GitHub—and works on integrating rewriting techniques into solvers. At OCamlPro and in past research internships (Inria, ENS, Stevens), he has delivered verified algorithms and decision procedures, including a simplex-based arithmetic solver and a Why3 verification-condition prototype. Known for blending deep theory with pragmatic engineering, he routinely optimizes for performance without sacrificing formal guarantees.
14 years of coding experience
Computer Science, Computer Science at Ecole normale supérieureAttestation CPGE, MP*, Mathematics, Attestation CPGE, MP*, Mathematics at Lycée Hoche de VersaillesPassy Buzenval
French, English
Stackoverflow
36reputation
2kreached
2answers
1question
Github Skills (190)
parser10
agda10
quickcheck10
testing10
solver10
functor10
smt-lib10
ppx10
backend10
opam10
dependent-types10
polymorphism10
modular10
multicore10
package-repository10
Programming languages (9)
Github contributions (5)
Gbury/hashcode18
Feb 2018 - Mar 2018
Contributions:35 commits, 21 pushes, 1 branch in 3 days
Gbury/ocaml
Jun 2015 - Jul 2021
Read-only mirror of INRIA SVN
Contributions:117 pushes, 48 branches in 6 years 2 months
inriaread-onlysvn
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.