Léo Germond

Fondateur

Marseille, Provence-Alpes-Côte d'Azur, France
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Léo Germond is a founder and seasoned embedded systems engineer with nine years of experience building safety-critical and consumer IoT products from firmware to DevOps. He has led firmware and edge-AI projects (low-power BLE sensors) and steered platform and certification efforts across avionics DO-254, ISO26262/ECSS contexts, pairing hands-on C/VHDL development with formal analysis and traceable requirements. At AdaCore he blended training, mentorship and DevOps architecture—standing up reproducible pipelines for critical-code analysis using Docker, Terraform and GitLab—and at Withings and Plume Labs he drove product and technical leadership under tight deadlines. Based in Marseille, he combines deep technical rigor with pragmatic product sense and a knack for making complex certification constraints productive rather than obstructive. An under-the-radar strength: he consistently translates high-assurance requirements into automated CI/CD and toolchains that accelerate both development and audits.
code9 years of coding experience
job12 years of employment as a software developer
bookIngénieur, Informatique des systèmes embarqués, Ingénieur, Informatique des systèmes embarqués at Grenoble INP Esisar
bookDUT, Informatique, DUT, Informatique at IUT Orsay
languagesEnglish, Spanish, Chinese
stackoverflow-logo

Stackoverflow

Stats
721reputation
84kreached
18answers
1question
github-logo-circle

Github Skills (50)

build-system10
data-science9
data-structure9
pandas9
python9
ada9
database9
query-language9
data-analysis9
data-structures9
cli8
sphinx8
syntax-highlighting8
documentation-generator8
markdown8

Programming languages (5)

JavaGoHaskellAdaPython

Github contributions (5)

github-logo-circle
AdaCore/gnat-docker

Oct 2020 - Jul 2021

Contributions:2 reviews, 22 commits, 2 PRs in 8 months
leogermond/training_material

Jan 2023 - Jun 2023

Contributions:40 pushes, 28 branches in 5 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.
Request Free Trial