Alain Frisch
Chief Technical Officer at LexiFi
Greater Paris Metropolitan Region France
Summary
🤩
Rockstar🎓
Top School
Top expert inFunctional Programming and Formal Verification Technologies
Alain Frisch is a CTO and seasoned software engineer with over two decades of experience, specializing in OCaml and programming language theory. He leads R&D and engineering teams at LexiFi, applying formal methods to the practical complexity of financial derivatives and structured products. A former INRIA researcher with a PhD from École normale supérieure, he combines deep academic rigor with hands-on systems work, including significant contributions to the core OCaml compiler and the js_of_ocaml project. His open-source commits focus on compiler internals—typing, code generation and inlining—where he has improved performance and robustness in widely used tooling. Based in Greater Paris, he blends technical leadership with active low-level development, uniquely positioning him to bridge research, tooling, and production-grade finance software. Colleagues count on him for precise, high-assurance engineering rather than surface-level product management.
23 years of coding experience
7 years of employment as a software developer
PhD (computer science) Master’s Degree & Agrégation (mathematics) Mathematics & Computer Science, PhD (computer science) Master’s Degree & Agrégation (mathematics) Mathematics & Computer Science at Ecole normale supérieureEngineer’s Degree Corps des Telecoms (now merged with Corps des Mines)., Engineer’s Degree Corps des Telecoms (now merged with Corps des Mines). at Télécom ParisPhD Computer Science, PhD Computer Science at Université Paris CitéLycée classes préparatoires MPSIMP*, Lycée classes préparatoires MPSIMP* at Lycée Louis-Le-Grand
English, French
Stackoverflow
249reputation
10kreached
3answers
3questions
Github Skills (15)
compiler10
code-optimization10
type-system10
functional-programming10
compiler-compiler10
ocaml10
compiler-development10
code-generation9
data-structures8
data-structure8
tabulator6
windows6
javascript6
sqlite6
unused-variables6
Programming languages (12)
Github contributions (5)
ocaml/ocaml
Jun 2005 - Oct 2021
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:76 reviews, 1879 commits, 350 PRs in 16 years 7 months
Contributions summary:Alain's contributions focused on maintaining and improving the OCaml compiler's internal type system and code generation. The commits involved modifying the `typing`, `bytecomp`, and `asmcomp` subdirectories, which implement the compiler's core logic. The user's work included fixing bugs, adding features, and refactoring the code to improve performance, especially focusing on the handling of data structures and ensuring efficient compilation.
compilerocamlfunctional-language
ocsigen/js_of_ocaml
Apr 2015 - Oct 2022
Compiler from OCaml to Javascript.
Role in this project:Back-end Developer
Back-end DeveloperContributions:1 review, 9 commits, 3 PRs in 7 years 6 months
Contributions summary:Alain primarily focused on optimizing and refactoring code related to the `compiler/inline.ml` file. Their contributions included inlining simple functions, handling different function types (alias, exp), and improving the logic for short-circuiting function calls. The user also made bug fixes and minor improvements to the `lib/xmlHttpRequest.ml` file, and performed a merge of a master branch into a feature branch.
compilerjavascriptocamlocsigenjsoo
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.