Alpha Diallo
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolAlpha Diallo is an experienced software engineer based in Paris with eight years focused on functional programming, OCaml, and static analysis tooling. He has contributed to the core OCaml system—working on GC-related globals, CI test runner improvements, and opam variant upgrades—bringing practical backend and DevOps experience to open-source projects. At Tarides he worked on OCaml-heavy systems and at MathWorks he integrated a novel relational numeric domain into Polyspace, gaining SML and deeper OCaml expertise. Comfortable navigating both research-grade static analysis and production CI workflows, he enjoys tackling challenging language-runtime problems and improving toolchains that other engineers depend on.
8 years of coding experience
4 years of employment as a software developer
Licentiate degree, Computer Science, Licentiate degree, Computer Science at Université François Rabelais de ToursMaster's degree, Science and Software Technology (STL), Master's degree, Science and Software Technology (STL) at Sorbonne UniversitésLicentiate degree, Computer Science, Licentiate degree, Computer Science at Université Paris Diderot
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (8)
functional-programming10
compiler-design10
ocaml10
devops9
testing9
garbage-collection8
build-automation8
cicd7
Programming languages (7)
Github contributions (5)
ocaml/ocaml
Nov 2021 - Jun 2022
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Backend Developer & DevOps Engineer
Backend Developer & DevOps EngineerContributions:8 commits, 3 PRs, 1 comment in 7 months
Contributions summary:Alpha contributed to the OCaml core system by adding minor garbage collection (GC) related globals. They also fixed typos in the code. Moreover, the user skipped a significant number of tests related to the `ocamldebug` tool. Additionally, they made changes to the CI test runner and upgraded the version in the `ocaml-variants.opam` file.
functional-languagecompilersruntime-systemapllwt
ocurrent/solver-service
Jul 2022 - Feb 2023
An OCluster service for solving opam dependencies
Contributions:43 reviews, 24 commits, 51 PRs in 6 months
dependenciespythonsolvingopam
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.