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.
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.