Yvan Roux is a seasoned GNU/LLVM toolchain engineer based in Grenoble with 15 years of experience building and maintaining compiler toolchains for ARM and embedded systems. He has an uncommon blend of deep research credentials (PhD and postdoc work on reactive systems and SoC verification) and long-standing industry impact, contributing compiler backend and binutils enhancements at STMicroelectronics and Linaro. Yvan also teaches compilation theory, software engineering and functional programming, keeping a strong connection between academic rigor and practical engineering. His work focuses on making complex toolchains reliable and performant for constrained targets, with hands-on expertise across GCC and LLVM ecosystems. Colleagues benefit from his ability to translate formal methods and verification experience into pragmatic compiler improvements that scale to industrial toolchains.
15 years of coding experience
4 years of employment as a software developer
PhD, Computer science, PhD, Computer science at Grenoble INP - UGA
Postgraduate, Computer Science, Postgraduate, Computer Science at Université Joseph Fourier (Grenoble I)
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Contributions:16 pushes, 2 branches in 8 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.