Freelancer profile translated to English.
Back to original languageAbout Pierre
OCaml programmer (also adopting Rust), PhD in theoretical computer science in program proving, I have acquired a good mastery of team and ecosystem coordination by developing tools to apply formal methods to systems biology and blockchain. Give me my next field of application!
French
Native or bilingual
English
Native or bilingual
Can work on-site
Paris (up to 50km)
Experience
- fondation ocamlDeveloperSOFTWARE PUBLISHINGApril 2025 - Today (1 year and 2 months)Paris, FranceMaintenance of the OCaml bytecode debugger with the goal of reducing the prerequisite level for using it in a project.
- TaridesConsultantSOFTWARE PUBLISHINGJuly 2024 - September 2024 (2 months)Paris, FranceCarried out a mission to synthesize the usability status of the OCaml language on Windows and proposed a roadmap.
- Nomadic LabsTechnical Co-Director then Incident Response ManagerSOFTWARE PUBLISHINGMay 2018 - December 2023 (5 years and 7 months)Paris, FranceI coordinated the development of Octez, the Tezos blockchain node, its continuous integration, its distribution to users, and ensured the last level of support.
Recommendations
Be the first to recommend Pierre
Help this freelancer shine by sharing your experience working together.
These freelancer profiles also match your criteria
Agatha Frydrych
Backend Java Software Engineer
4.7
(3)
2
Baptiste Duhen
Fullstack developer
4.6
(4)
5
Amed Hamou
Senior Lead Developer
4
(2)
7
Audrey Champion
Web developer
4.3
(3)
4
Education
- PhD in Theoretical Computer ScienceINRIA / Université Paris Diderot2014Doctorat en informatique théorique