Hi, I'm Guillaume Petiot

I'm a software engineer at Tarides. You can check out my work on Github or have a look at my curated list of projects for more details.

I also authored and co-authored research papers mainly about software verification.