Background

I discovered programming at age 14, teaching myself C and later OCaml. I was fascinated by creating my own programs and designing websites, which led me to study Computer Science.

Education

I earned both my Bachelor's (2010) and Master's (2012) degrees in Computer Science from Université d'Orléans.

Academia

From 2012 to 2015, I was a PhD student at CEA LIST, focusing on formal methods and program verification. I authored several peer-reviewed research papers and presented at international conferences. I also taught formal methods at the master's level.

I spent a year as a postdoctoral researcher at Verimag, then worked as a software engineer at Systerel.

Industry

From 2018 to 2025, I worked at Tarides, where I spent most of my time building developer tools for the OCaml ecosystem. My focus was on creating tools that help developers write better, more reliable code.

Current Focus

Since 2025, I've been working on independent projects, exploring machine learning, embedded systems, formal methods, and web technologies. I'm particularly interested in how these fields intersect to solve real-world problems.