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."
Social and Blogging
@rbonichon has not provided social links yet.