Erik Dorel
Software Developer at Groupe SII
Toulouse, Occitania, France
Summary
🤩
Rockstar🎓
Top SchoolErik Dorel is a software developer with a 16-year career bridging formal verification research and practical software engineering, grounded in a PhD in Computer Science and a Master’s in Math & CS. He has deep expertise in theorem provers, floating‑point arithmetic and CI/CD, having contributed to prominent projects like the Rocq Prover and the Mathematical Components library while also improving build and DevOps pipelines. As an ex‑associate professor he mentored dozens of interns and co-supervised a PhD combining Rocq proofs and symbolic AI, bringing strong teaching and mentoring chops to team settings. Active in open source, he co-maintained Learn-OCaml and Docker images used widely across repositories, and built tooling such as docker-keeper to automate CI pipelines. Comfortable moving between research-grade formal methods and production maintenance for Earth observation systems, he values continuous improvement and knowledge sharing.
11 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at École normale supérieure de LyonBachelor's Degree Mathematics, Bachelor's Degree Mathematics at Université de Perpignan - UPVD AlumniMaster's Degree Mathematics and Computer Science, Master's Degree Mathematics and Computer Science at University of MontpellierDEM (Diploma of Music Studies) Music, DEM (Diploma of Music Studies) Music at Conservatoire à Rayonnement Régional de PerpignanCPGE (Higher school preparatory classes) MPSI (Mathematics Physics Engineering Sciences), CPGE (Higher school preparatory classes) MPSI (Mathematics Physics Engineering Sciences) at Lycée Arago, Perpignan
English, French, German
Stackoverflow
14,136reputation
1.4mreached
266answers
2questions
docker-compose
top-5%
bash
top-5%
windows
top-5%
yaml
top-5%
git
top-5%
gitlab-ci
top-5%
Github Skills (28)
opam10
proof-assistant10
docker10
dependent-types10
ssreflect10
makefile10
coq10
dockerfile10
theorem-proving10
gitlab-ci9
git9
docker-compose9
python9
bash9
windows9
Programming languages (21)
Github contributions (5)
math-comp/math-comp
Sep 2016 - Jan 2023
Mathematical Components
Role in this project:
Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:8 reviews, 49 commits, 45 PRs in 6 years 4 months
Contributions summary:Erik primarily contributed to the mathematical components library by adding and modifying files related to the ssreflect and ssrmatching plugins. They added transitional files to increase compatibility and fixed issues related to the library. Furthermore, the user implemented changes to the repository's build and CI/CD infrastructure by modifying and updating opam and Dockerfile files, along with the addition of CI jobs, indicating responsibility for build automation and deployment processes.
ssreflectmathdependent-typeshomotopy-type-theorysymbolic-computation
rocq-prover/rocq
Sep 2016 - Feb 2022
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Role in this project:Back-end Developer
Back-end DeveloperContributions:30 reviews, 106 commits, 25 PRs in 5 years 5 months
Contributions summary:Erik primarily contributed to the interactive theorem prover Rocq. Their work involved fixing bugs related to file handling within subdirectories and enhancing the "under" tactic in the ssreflect proof language. The user also addressed documentation issues, corrected pretty-printing for primitive integers, and improved the test suite. These changes suggest a focus on improving the functionality, and usability of the theorem prover.
management-systemdependent-typeshomotopy-type-theorytheorem-provingsemi
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.