Léo Creuse
Chef D Équipe Ingénierie Logicielle at AdaCore
Grenoble, Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolLéo Creuse is a software engineering leader based in Grenoble with nine years of experience bridging aerospace engineering and applied computer science, currently heading a software engineering team at AdaCore. Trained at ISAE‑SUPAERO with a computer science exchange at the Université d'Ottawa, he combines hands‑on expertise in formal verification (SPARK/ADA) and test/coverage engineering with practical computer vision work for drone systems. His background includes building object‑detection pipelines integrated into DroneOS and authoring learning resources that translate C++ algorithms into provably correct ADA implementations. Comfortable moving between research and production, he seeks opportunities to apply formal methods and vision techniques to high‑assurance embedded systems.
8 years of coding experience
Semestre d'échange, Computer Science, Semestre d'échange, Computer Science at Université d'OttawaAerospace, Aeronautical and Astronautical Engineering, Aerospace, Aeronautical and Astronautical Engineering at ISAE-SUPAERO
Github Skills (20)
ada10
adaptation10
test-coverage9
coverage9
subset9
formal-verification9
formal-methods8
apache-spark7
programming-language7
spark7
erlang7
aem4
language-server3
language-server-protocol2
gnat2
Programming languages (2)
Github contributions (5)
tofgarion/spark_examples
Mar 2018 - May 2018
Contributions:141 pushes, 23 branches in 2 months
spark2014
leocreuse/Raytracing
Nov 2022 - Sep 2023
Contributions:1 push, 2 branches in 9 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.