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: