Richard Bonichon

Expert Overview

Richard is a Senior Software Engineer, a longtime OCaml developer, and the lead tech on Tweag’s Tezos blockchain projects. Prior to joining Tweag, Richard was a researcher for CEA LIST's Software Safety and Security Laboratory for 10 years, working on advancing formal methods for binary program analysis, and served as lead developer of the BINSEC platform. He was also a visiting professor at the Universidade Federal do Rio Grande do Norte, where he worked on the SMT solver veriT. Richard has an Engineering Degree in Computer Science and Applied Mathematics, a Masters in Programming: Semantics, Proofs and Languages from Université Denis Diderot; and received his PhD from Université Pierre et Marie Curie, where he studied the area of automated theorem proving. Outside of Tweag, Richard organizes and participates in various international software protection events, and enjoys swimming, running, biking, playing guitar, and family time."

Things I'm Doing
Talks I've Given

Talks I've Given

About me

My Work


Social and Blogging

@rbonichon has not provided social links yet.