Baptiste Lepers
Junior Professor at Inria
Grenoble, Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolBaptiste Lepers is a systems researcher and junior professor with 13 years of experience specializing in kernel development, scalability for many-core and NUMA architectures, and bounding tail latency in latency-critical services. His academic career spans postdoctoral and lecturing roles across Europe and Australia and recently transitioned to Inria, reflecting a strong mix of research and teaching. He has a PhD from Université Grenoble Alpes and a track record of practical systems optimization work that has impacted web servers, key-value stores and graph processing. Beyond core systems, he pursues formal proofs as side projects, hinting at a rigorous approach to correctness as well as performance. Based in Grenoble, he combines deep low-level expertise with an ability to translate research into deployable improvements for real-world, high-concurrency environments.
13 years of coding experience
4 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at ENSIMAGDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Université Grenoble Alpes
Github Skills (68)
manjaro10
distro9
upstream9
kernel9
linux8
linux-kernel8
low-level8
raspberry8
verification8
zen8
z37
smt7
model-checking7
forum7
cvc47
Programming languages (6)
Github contributions (5)
envadrouillecorp/plugin-gpxmap
Sep 2017 - Oct 2023
Contributions:30 pushes, 1 branch in 6 years 1 month
fgaud/Minime
Mar 2013 - Jun 2020
Contributions:19 commits, 2 pushes, 1 comment in 7 years 4 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.