Florian Angeletti
Research Engineer at Inria
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top School
Top expert inFunctional Programming and Formal Verification Technologies
Florian Angeletti is a research engineer based in Paris with 12 years of experience at the intersection of research-grade software and formal tooling, currently working at Inria. He holds a PhD in Physics from École normale supérieure de Lyon and transitioned from academic postdoctoral roles to applied research engineering, bringing deep analytical rigor to software development. Florian is an active contributor and reviewer on the core OCaml compiler and runtime, improving Unicode handling, error messaging, and module type plumbing—work that touches one of the most important functional language implementations. He also improves documentation and pedagogy for ocaml.org, helping make advanced language features more accessible to practitioners. Colleagues value his blend of meticulous technical writing and low-level code understanding, which lets him bridge complex theory and production-quality tooling.
12 years of coding experience
Doctor of Philosophy (Ph.D.), Physics, Doctor of Philosophy (Ph.D.), Physics at École normale supérieure de Lyon
English, French
Github Skills (8)
documentation10
ocaml10
code-review10
technical-writing10
character-encoding8
encode8
unicode8
encoding8
Programming languages (11)
Github contributions (5)
ocaml/ocaml
Nov 2015 - Jan 2023
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Back-end Developer & Code Reviewer
Back-end Developer & Code ReviewerContributions:21 releases, 1366 reviews, 1328 commits in 7 years 3 months
Contributions summary:Florian primarily focused on fixing documentation comments and correcting errors related to code layout. They also made several changes related to the handling of Unicode characters and improved the formatting and structure of error messages. They contributed to the module type substitutions. Additionally, the user appears to have performed code review and has shown some understanding of OCaml's internal structures such as class and class types.
functional-languagecompilersruntime-systemapllwt
ocaml/v2.ocaml.org
Jul 2017 - Jan 2023
Implementation of the ocaml.org website.
Role in this project:Technical Writer
Technical WriterContributions:25 reviews, 39 commits, 26 PRs in 5 years 7 months
Contributions summary:Florian's commits primarily involve updates to the OCaml manual, specifically targeting the 4.11, 4.12, 4.13, 4.14 and 5.0 releases. These updates focus on content enhancements, including the removal of chapter numbers, bullet point replacements, code example improvements, and the introduction of debugger event notations. The changes suggest a focus on improving documentation clarity, style, and accuracy for the OCaml system.
lwtocamlduneopam
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.