Developer Tools

As a software engineer at Tarides, I helped create and maintain essential tools that power the OCaml ecosystem.

• OCamlFormat: Automatic code formatter for OCaml. Drove project direction, implementation, and adoption across the OCaml ecosystem. Added numerous formatting options and improved configuration system.

Formal Methods

During my PhD in formal methods at CEA LIST, I contributed to the development of new techniques and tools for proof diagnosis, specification, and automated test generation. This work led to the creation of StaDy, a Frama-C plugin for test generation and proof diagnosis, also available on GitHub.

• StaDy: A Frama-C plugin for test generation and proof diagnosis.
• Mutation: A Frama-C plugin for the generation of mutant programs.
• Inline: A Frama-C plugin for inlining of ACSL predicates and logic functions.