Christophe Raffalli
ATER at Université Paris-Est Créteil (UPEC)
Grésy-sur-Aix, Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolChristophe Raffalli is a seasoned researcher and lecturer with over 25 years of experience in logic, proof theory, and programming languages, holding a PhD in mathematics and foundations of computer science and teaching roles at Université Savoie Mont Blanc and Université Paris-Est Créteil. His work blends deep theoretical research in the theory of proof and programming languages with practical contributions to core tooling, including bug fixes and robustness improvements in the prominent OCaml compiler and standard library. As an academic who actively engages with open-source systems, he brings a pragmatic eye to language design and runtime concerns—evidenced by enhancements to Unix process handling and concurrency-safe formatting. Based in Auvergne-Rhône-Alpes, he combines long-standing pedagogy with hands-on systems development, making him fluent at translating formal concepts into reliable implementation.
25 years of coding experience
Lycée condorcetphd in mathematifs and foundation of computer sciences, Logic, Proof theory, Programming languages, Phd, phd in mathematifs and foundation of computer sciences, Logic, Proof theory, Programming languages, Phd at Université Paris CitéBachelor’s Degree, Bachelor’s Degree at Saint-Michel de PicpusMaster’s Degree, Mathematics, Master’s Degree, Mathematics at École Normale Supérieure de Cachan
English, French
Stackoverflow
11reputation
4kreached
2answers
0questions
Github Skills (12)
compiler-development10
functional-programming10
ocaml10
text-parsing8
parsing8
error-handling7
react-functional-components6
linux6
epoll6
documentation6
network-programming6
react6
Programming languages (15)
Github contributions (5)
ocaml/ocaml
Oct 2017 - Oct 2017
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:16 reviews, 2 commits, 16 PRs in 1 day
Contributions summary:Christophe primarily focused on fixing issues within the OCaml compiler and standard library. Their contributions include correcting the position of semicolons in the parser, addressing documentation typos, and adding new functionality to manage process IDs in Unix libraries. The user also extended the [@untagged] external attribute to various immediate types and updated the format module to handle potential concurrent access issues, making the code more robust.
functional-languagecompilersruntime-systemapllwt
rlepigre/ocaml-bindlib
Jan 2007 - Jan 2022
Efficient binder representation in OCaml
Contributions:12 reviews, 129 commits, 16 PRs in 15 years 3 months
representationsymbolic-computationocamlduneagda
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.