Lubin Bailly
Student
Summary
🤩
RockstarLubin Bailly is a computer science student at ENS with four years of hands-on experience in software engineering. He blends academic grounding with practical coding practice, contributing regularly on GitHub as part of his studies. Known for a methodical approach to problem-solving, he focuses on building reliable, well-structured code and learning modern development workflows. Lubin’s background at a rigorous engineering school suggests strong theoretical foundations paired with emergent practical skills. He is poised to translate academic projects into impactful software contributions and grow quickly in collaborative engineering environments.
3 years of coding experience
Github Skills (19)
opencl10
parallel10
gpgpu10
gpu-programming10
gpu10
futhark10
cuda10
functional-programming-language10
programming-language9
hpc9
functional-programming9
compiler9
gpu-acceleration8
semantics5
synchronous3
Programming languages (3)
Github contributions (5)
catvayor/nixpkgs
Jun 2024 - Feb 2025
Nix Packages collection & NixOS
Contributions:6 pushes, 4 branches in 7 months
catvayor/vampire
Jun 2022 - Aug 2022
The Vampire Theorem Prover
Contributions:19 pushes, 4 branches in 1 month
provertheoremtheorem-provertheorem-provingvampire
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.