Etienne Renault
Application SW Manager
Greater Paris Metropolitan Region France
Summary
🤩
Rockstar🎓
Top SchoolEtienne Renault is an application software leader with eight years of experience who currently manages multiple teams at SiPearl, including AI, Benchmarks & Lab, and Compilers/Libs & Tools. He combines deep research roots—a PhD in computer science and years leading LRDE research labs—with hands-on engineering in parallel algorithms, model checking, and compiler projects. Known for building lock-free, multi-threaded verification algorithms and maintaining parts of the Spot library, he bridges formal methods and practical tooling for high-performance systems. At EPITA he led academic programs and taught compilation, distributed systems and verification while managing student developer teams, showing he excels both as a technical mentor and a manager. Based in Greater Paris, he brings a rare mix of academic rigor and production-oriented leadership to AI and compiler toolchains.
8 years of coding experience
11 years of employment as a software developer
Ph.D. in Computer Science, Ph.D. in Computer Science at Pierre and Marie Curie University
French, English
Github Skills (28)
modular10
toolchain9
clang9
llvm8
compiler7
obsidian6
api6
cpu5
intel5
kernel4
cuda4
gpu3
parallel-computing3
cpp3
kanban3
Programming languages (5)
Github contributions (5)
akimd/jagger
Mar 2018 - Mar 2022
Contributions:7 pushes in 4 years
etienne-renault/go2pins-docker
Jan 2020 - Apr 2021
Contributions:8 pushes, 1 branch in 1 year 3 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.