Lelio Brun
Software Engineer at Braid
Chiyoda, Japan
Summary
👤
Senior🎓
Top SchoolLelio Brun is a software engineer and researcher with ~10 years of experience applying formal methods and verified compilation to real-world systems. After an aerospace engineering start and an MPRI research master, he completed a PhD at ENS Paris (2020) on verified compilation and continued postdoctoral work at ENS, Inria and ISAE-Supaero. He has translated deep theoretical expertise into applied security research at the National Institute of Informatics in Tokyo, focusing on formal analysis of IoT network protocols. Now at Braid, he bridges rigorous proofs and practical engineering to improve system correctness and security. Notably, his background combines hands-on aerospace simulation experience with advanced formal verification, giving him a rare ability to reason about both low-level system behavior and high-level protocol guarantees. Based in Chiyoda, Japan, he brings an international academic pedigree and a track record of turning formal research into deployable tools and analyses.
10 years of coding experience
7 years of employment as a software developer
Aerospace Engineering, Aerospace Engineering at Université du Québec - Ecole de Technologie supérieureEngineering degree, Aeronautics & mechanics, Engineering degree, Aeronautics & mechanics at ISAE-ENSMA (École Nationale Supérieure de Mécanique et d'Aérotechnique)Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Ecole normale supérieureMaths and Physics, Maths and Physics at Two years of intensive preparation for the competitive examination of French graduate schools in engineering, Jean-Baptiste Corot HighschoolMaster Parisien de Recherche en Informatique, Computer Science, Highest honour, Master Parisien de Recherche en Informatique, Computer Science, Highest honour at Université Denis Diderot (Paris VII)French Scientific Baccalauréat, with highest distinction, Major in Maths, Mention Très Bien, French Scientific Baccalauréat, with highest distinction, Major in Maths, Mention Très Bien at Jean Baptiste Corot Highschool (Savigny sur Orge)
English, Spanish, Japanese, French
Github Skills (73)
icon-pack10
menhir10
opam10
fdroid10
theming10
package-repository10
pretty-format10
ocaml10
android10
package-manager10
fibers9
multicore9
jbuilder9
dune9
idris9
Programming languages (7)
Github contributions (5)
INRIA/velus
Apr 2016 - Mar 2020
Contributions:1 release, 617 commits, 9 pushes in 3 years 11 months
Lelio-Brun/prezto
Apr 2017 - Sep 2020
Contributions:44 pushes in 3 years 6 months
shellconfiguration-frameworkzsh-pluginzsh
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.