I'm Guillaume (but you can call me William), a French software engineer based in the UK.

I learned to code (in C, then in OCaml) when I was around 14. I was a bit geeky and fascinated by making my own programs and making (and designing) websites, so when came the time to choose a path at university I chose to study computer science and software engineering.

I studied Computer Science at Université d'Orléans, where I earned my Bachelor's degree in 2010, then my Master's degree in 2012.

I started my career as a PhD student at CEA LIST from 2012 to 2015, focusing on formal methods and program verification. During this time, I authored several peer-reviewed research papers and presented my work at international conferences. I also taught formal methods and program verification at the master's level.

After completing my PhD at the Université de Franche-Comté, I spent a year as a postdoctoral researcher at Verimag, then moved into industry as a software engineer at Systerel for two years.

From 2018 to 2025, I've been working at Tarides, where I've spent most of my time building developer tools for the OCaml ecosystem. Much of my work has involved creating and maintaining tools that help developers write better code.

Since 2025, I have been working on my own projects, experimenting with machine learning, embedded systems, formal methods and web technologies.

Read more about my personal background.