Richard Bonichon
Software Engineer at repyh labs
France
Summary
🤩
Rockstar🎓
Top SchoolRichard Bonichon is a software engineer with 11 years of industry experience and a PhD in computer science, specializing in formal methods, program analysis and binary-level code analysis. He has combined research and product work across labs and companies—leading BINSEC development at CEA, contributing to Tezos and Mina protocol codebases at Nomadic Labs and O(1) Labs, and most recently founding Loopless while engineering at repyh labs. Comfortable in OCaml and tooling ecosystems, he also improves developer experience through careful documentation (notably in the core OCaml repo) and by eliminating subtle correctness and compiler issues in crypto code. His background spans academia and industry, blending SMT/formal methods expertise with pragmatic backend engineering on security-sensitive systems.
11 years of coding experience
16 years of employment as a software developer
Master's degree Computer Science, Master's degree Computer Science at Université Paris CitéMaster's degree Mathematics and Computer Science, Master's degree Mathematics and Computer Science at ENSEEIHTLa Prépa des INPDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Pierre and Marie Curie University
Github Skills (15)
functional-programming10
functional-programming-language10
software-quality10
format-string10
functional10
ocaml10
documentation10
blockchain9
cryptocurrency9
zkp9
zk9
zksnark9
testing8
compiler-compiler5
compiler5
Programming languages (7)
Github contributions (5)
MinaProtocol/mina
Sep 2022 - Jan 2023
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:298 reviews, 385 commits, 157 PRs in 4 months
Contributions summary:Richard primarily focused on fixing use of formatting strings and removing compiler warnings, indicating a focus on code quality and correctness. They made code adjustments in several files within the `src` directory, which encompasses CLI, library, and test files, suggesting a deep understanding of the codebase. Additionally, the user touched upon aspects of the transaction and SNARK logic, demonstrating involvement in core functionality.
minaethereumsecurityblockchainocaml
ocaml/ocaml
Feb 2017 - Oct 2017
The core OCaml system: compilers, runtime system, base libraries
Role in this project:Technical Writer
Technical WriterContributions:7 commits, 3 PRs, 29 comments in 8 months
Contributions summary:Richard primarily focused on improving the documentation within the OCaml repository. Their commits demonstrate a strong emphasis on refining existing documentation, correcting typos, and enhancing clarity through improved English. The code changes involve modifications to documentation files, particularly related to the `format.mli` file, indicating a focus on the pretty-printing module and its associated functionalities. These contributions aim to increase the comprehensibility and usability of the OCaml documentation for other developers.
functional-languagecompilersruntime-systemapllwt
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.