Guillaume Petiot
Salisbury, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolGuillaume Petiot is a versatile engineer-turned-finance professional with a decade of experience spanning compiler and systems work, formal verification research, and production-grade software at companies like Tarides and Siemens collaborators. He holds a PhD in Computer Science and has deep technical chops in OCaml—contributing to flagship projects such as the OCaml compiler, Merlin, Irmin and Owl—where his work focused on parser/AST fixes, compatibility with new OCaml releases, and performance/formatting upgrades. Now applying that analytical rigor to finance as a Finance Officer in Salisbury, he brings methodical problem-solving, attention to auditability, and a history of improving robustness in safety-critical systems. Notably, his background in static/dynamic program analysis and real-world banking experience gives him a rare blend of precise technical reasoning and practical financial operations knowledge.
10 years of coding experience
9 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Université Marie et Louis PasteurMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at Université d'Orléans
French, English
Stackoverflow
21reputation
190reached
1answer
0questions
Github Skills (30)
compatible10
parser10
abstract-syntax-tree10
databases10
backward-compatibility10
ocaml10
compatibility10
automatic-differentiation10
compiler-compiler10
parsing10
parse10
compiler10
versioning10
text-parsing10
binary-compatibility10
Programming languages (7)
Github contributions (5)
mirage/irmin
Aug 2020 - Feb 2022
Irmin is a distributed database that follows the same design principles as Git
Role in this project:
Backend Developer
Backend DeveloperContributions:4 reviews, 8 commits, 6 PRs in 1 year 6 months
Contributions summary:Guillaume primarily focused on upgrading and modifying code related to the OCaml-based Irmin database library. Their contributions involved updating dependencies, notably `ocamlformat`, and making code adjustments in core files such as `inode.ml`, `tree.ml`, `irmin_git.ml`, and others. The changes appear to address code formatting and potentially improve the library's performance and compatibility with newer versions of the OCaml toolchain.
design-principlesprinciplesocamldistributed-databasedatabase
owlbarn/owl
May 2020 - Oct 2021
Owl - OCaml Scientific Computing @ https://ocaml.xyz
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:6 commits, 7 PRs, 3 comments in 1 year 5 months
Contributions summary:Guillaume primarily upgraded and integrated the ocamlformat tool, which is used for code formatting, across multiple versions. They also made various code changes, specifically within the files related to neural network implementation, stats and computation, and other modules. These changes seem to be related to updates to the core mathematical functions, data structures, and possibly optimizations within the Owl framework.
lapackndarrayautomatic-differentiationpde-solvermatrix
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.