About me

Hi, I'm Guillaume, but you can call me Liam. I'm a software engineer who loves to solve new problems, especially with OCaml. Originally from France, I now reside in the UK countryside.

I obtained a Ph.D. degree in Computer Science while studying formal methods at CEA, especially the combination of static and dynamic analysis for software verification. During this time, I also took the opportunity to teach constraint programming (Prolog), automated proving (Frama-C) and OCaml to university students.

I authored and co-authored several research papers mainly about software verification, and won the Best Paper Award at the 10th International Conference on Tests & Proofs (TAP 2016) for "Your Proof Fails? Testing Helps to Find the Reason".

I then started by career as a Software Engineer at Systerel, where I contributed to the development of a communication-based train control (CBTC) system using Ada, on metro lines that are currently in service in Paris and New York.

Following on my long standing interest in OCaml, I went to work at Tarides, whose mission is to make OCaml an industry standard. Here, I develop OCaml tooling for the open-source community and for Jane Street. Notably, I've been the main maintainer of ocamlformat, overseeing its roadmap and driving new developments since 2018. I recently took on the initiative to improve the internal processes and tooling of the company.

During my time off, I am learning about Data Science with the goal of getting professional certificates. I am also an OCaml advocate and open-source maintainer. You can check out my work on Github for more details.