Roberto Di Cosmo
Chair, Software Chapter Of The National Committee For Open Science
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolRoberto Di Cosmo is a distinguished computer scientist and software preservation leader with over a decade of experience bridging academia, public policy and open source engineering. As founder and Director of Software Heritage and Chair of the Software Chapter of France’s National Committee for Open Science, he builds infrastructure to archive and make software a first-class cultural and scientific artifact. A seasoned professor and former research director at INRIA and Université Paris Diderot, he has led large European research projects (notably Mancoosi) and created IRILL to foster collaboration between academia and free software communities. Hands-on technically, he has contributed to critical tooling such as the opam package manager, improving its external solver and UX for complex package ecosystems. Based in Paris, he mixes deep theoretical background (habil., ENS education) with practical institution-building and a hacker’s attention to resilient, reproducible software. Colleagues describe him as equally comfortable drafting national open-science policy and diving into solver internals to make long-term preservation usable.
13 years of coding experience
14 years of employment as a software developer
Laurea, Computer Science, Laurea, Computer Science at Università di PisaDiploma, Computer Science, Diploma, Computer Science at Scuola Normale SuperioreL, Computer Science, L, Computer Science at Ecole normale supérieureLiceo Ginnasio Andrea d'OriaHabilitation a diriger des recherches, Computer Science, Habilitation a diriger des recherches, Computer Science at Université Denis Diderot (Paris VII)
Italian, French, Spanish, English
Github Skills (7)
package-manager-tool10
package-manager10
package-management10
ocaml10
command-line-interface8
command-line8
git7
Programming languages (12)
Github contributions (5)
ocaml/opam
Oct 2012 - Oct 2014
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:71 commits, 25 comments, 2 issues in 2 years
Contributions summary:Roberto primarily contributed to the `opam` package manager, focusing on enhancements to the external solver's behavior and user preferences. Their work included modifying default preferences for the external solver, adding features like OPAMCRITERIA configuration through command-line options, and improving the handling of external solver interruptions. They also addressed issues related to upgrade constraints and code sanitization for the external solver.
workflowpackage-managerpackage-basedocamlinstallations
swhid/swhid.github.io
May 2022 - Jan 2024
Homepage of the SWHID working group
Contributions:1 review, 23 pushes, 1 branch in 1 year 7 months
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.