Guillaume Petiot

I'm a software engineer passionate about building tools that help developers write better code. I have deep expertise in the OCaml ecosystem and developer tooling.

Currently exploring machine learning, embedded systems, formal methods, and web technologies. Previously spent 6 years at Tarides building developer tools for the OCaml community.

Learn more about me, explore my projects, review my research papers, or check out my conference talks.