Louis Betzer - IA Engineer at Galadrim

Louis Betzer

IA Engineer at Galadrim

Paris, Ile-de-France

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Louis Betzer is an IA engineer based in Paris with 13 years of software engineering experience and a strong footing in programming languages, compilers, and data science. He blends research rigor—evidenced by a UAI-accepted paper on differential privacy for graphs and internships at the University of Tokyo—with practical systems work, from contributing to the OCaml compiler and opam ecosystem to back-end and language-engineering improvements in the Catala project. Recent projects include building LLM-augmented tools for automatic OpenAPI generation using static analysis (tree-sitter, stackgraph, semgrep) and reverse-engineering compilers, demonstrating both applied ML and low-level engineering chops. Comfortable across Python and OCaml stacks, he focuses on making formal systems and developer tooling robust and maintainable while bridging academic insight and production-ready software.

13 years of coding experience

1 year of employment as a software developer

Diplôme d'ingénieur, Mathématiques et informatique, Diplôme d'ingénieur, Mathématiques et informatique at École Polytechnique

Master 2 (M2), Data science, Master 2 (M2), Data science at Institut Polytechnique de Paris

Github Skills (26)

astm10

dependency-management10

git10

opam10

programming-language10

aster10

parser10

package-management10

compiler-development10

build-system10

functional10

ocaml10

parsing10

parse10

version-control10

Programming languages (19)

C++CRustCoqMakefileTeXGoHTML

Github contributions (5)

ocaml/opam

Mar 2013 - Jan 2023

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Role in this project:

Back-end Developer & Release Manager

Contributions:39 releases, 160 reviews, 3994 commits in 9 years 11 months

Contributions summary:Louis focused on implementing features related to repository updates, specifically returning patches natively using the Git VCS. They were also responsible for improving the consistency of dependency handling within the project, fixing bugs related to package versions and the build process. The commits also involved updating the build and test configuration by introducing a migration to a more modern build tool and adjusting the release process.

workflowpackage-managerpackage-basedocamlinstallations

CatalaLang/catala

Dec 2020 - Jan 2023

Programming language for literate programming law specification

Role in this project:

Back-end Developer & Language Engineer

Contributions:1 release, 351 reviews, 318 commits in 2 years 1 month

Contributions summary:Louis contributed to the Catala programming language project by implementing fixes and improvements to the parser, including handling new syntax features such as scope calls and ensuring correct operator precedence. They refactored the AST, which involves working on the language's core representation and its internal operations. The user's work also encompasses changes to the internal language representation and pretty-printers, which is an important step in supporting the code.

literate-programmingkebab-caselawspecificationtla

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.

Request Free Trial