// PYTHON · AUTOMATISATION · IA APPLIQUÉE
Basé à La Rochelle, formé à l'administration des réseaux et télécoms et passé par le support technique chez Apple, je construis aujourd'hui des outils en Python : automatisation, analyse de code et systèmes pilotés par IA. J'ai trouvé, reproduit et corrigé des bugs dans des projets open source comme Kubernetes, gVisor, Prometheus, LXD, NASA F´ et data.gouv.fr, en grande partie avec mon outil d'analyse GSR.
go test -fuzz) et tests de propriétés ciblés sur des parseurs, par exemple l'analyseur C++ de l'outil de fusion de code de la NASA.Des bugs réels, trouvés pour la plupart avec GSR (détecteurs statiques et triage), les autres par relecture ciblée, fuzzing ou tests de propriétés, puis reproduits par un test qui échoue, corrigés par un patch minimal avec test de régression, vérifiés contre les doublons et proposés selon les règles de chaque projet (CLA, DCO, commits signés, divulgation de l'usage de l'IA). Il s'agit de bugs fonctionnels et de robustesse, pas de failles de sécurité.
runsc : l'erreur de verrouillage de Container.Update était ignorée, puis le déverrouillage différé pouvait paniquer. L'erreur est maintenant renvoyée.fprime-util impl --auto-merge refusait du C++ valide (chaînes brutes, séparateurs de chiffres). Bug signalé, correctif avec 6 tests, vérifié par des tests de propriétés.2020/05/17) devenaient l'année entière lors du moissonnage de catalogues CKAN.meminfo NUMA trop courte : le nombre de champs est vérifié avant la lecture.Statuts vérifiés sur GitHub le 11/10/2026 · « Approuvée » = validée par un mainteneur, pas encore fusionnée.
Disponible pour des missions freelance en IA, backend Python et infra cloud. Remote ou déplacements ponctuels.
Réponse sous 24h.