Richard Bonichon

E-mail
richard@loopless.xyz

CV
Formal methods & research
Protocol engineering

I am a software engineer. I currently run Loopless, my own consulting / engineering vehicle. I am working for Repyh Labs on the delta network.

Previously, I also was a software engineer at

O(1) Labs on the Mina Protocol;
Nomadic Labs on the Tezos consensus layer; and
Tweag I/O.

Before that, I spent 11 years as a researcher at CEA / LSL, working on formal program analyses for source and binary code, and as lead developer of the BINSEC binary analysis platform.

I am most at home in functional programming (OCaml, Lisp, Rust), formal methods, program analysis, automated theorem proving, and the boundaries where these meet practical software engineering. These last few years, I've also enjoyed messing with distributed systems as they appear on blockchain protocols, and zero-knowledge cryptography.