Hey, I'm Guillaume

I'm a software engineer involved in the open-source OCaml ecosystem at Tarides.

I will document my personal projects in this tiny space of the web. You can also take a look at my work on Github, or reach out to me by email at: hello at guillaumepetiot.com.

In a previous life I authored and co-authored research papers about software verification.

These days I'm working on: