About Pierre
Programmeur OCaml (en train d'adopter Rust aussi), docteur en informatique théorique en preuve de programme, j'ai acquis une bonne maîtrise de la coordination d'équipes et d'écosystèmes en développant des outils pour appliquer les méthodes formelles à la biologie des systèmes et à la blockchain. Donnez moi mon prochain domaine d'application !
French
Native or bilingual
English
Native or bilingual
Can work on-site
Paris (up to 50km)
Experience
- fondation ocamlDéveloppeurSOFTWARE PUBLISHINGApril 2025 - Today (1 year and 2 months)Paris, FranceMaintenance du débugueur bytecode Ocaml avec l'objectif de réduire le niveau de pré-requis pour l'utiliser dans un projet.
- TaridesConsultantSOFTWARE PUBLISHINGJuly 2024 - September 2024 (2 months)Paris, FranceRéalisation d'une mission de synthèse de l'état d'utilisabilité du langage OCaml sous Windows et proposition d'une feuille de route.
- Nomadic LabsCo directeur technique puis responsable de la reponse aux incidentsSOFTWARE PUBLISHINGMay 2018 - December 2023 (5 years and 7 months)Paris, FranceJ'ai coordonné le développement d'Octez, le noeud de la blockchain Tezo, son intégration continue, sa distribution aux utilisateur et assurer le dernier niveau de 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
- Doctorat en informatique théoriqueINRIA / Université Paris Diderot2014Doctorat en informatique théorique