About me

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 wrote several research papers 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 developed good writing and public speaking skills thanks to these experiences. 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. This taught me how to work in a highly constrained and critical environment. 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. 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. I am driven by the opportunity to make a meaningful impact, and recently started to mentor an intern as part of the Outreachy program. Outreachy provides internships to people subject to systemic bias and impacted by underrepresentation in the technical industry. Cheers, Guillaume (You can call me Liam)