David Coudert
Senior Researcher at INRIA
Nice, Provence-Alpes-Côte d'Azur, France
Summary
🤩
Rockstar🎓
Top SchoolDavid Coudert is a senior researcher and experienced software engineer with 14 years of professional experience, based in Nice, France, and a PhD in computer science from Université Côte d'Azur. He has a long research career at INRIA (and predecessor roles there) focused on core algorithmic and backend systems, combining academic rigor with production-grade code. An active contributor to the SageMath core repository, his commits improved graph and subgraph algorithms—showing a knack for subtle, correctness-critical fixes in widely used open-source mathematical software. Trained at École normale supérieure de Lyon, he brings deep theoretical grounding in algorithms and discrete structures while consistently delivering practical implementations. Colleagues rely on him for bridging formal research results into maintainable, performant code.
14 years of coding experience
Master's degree, Computer Science, Master's degree, Computer Science at Ecole normale supérieure de LyonPhD, Computer Science, PhD, Computer Science at Université Côte d'AzurDEUG A, Math-Info, DEUG A, Math-Info at Université d'Orléans
Github Skills (4)
graph10
algorithms10
cprogramming-language9
c-language9
Programming languages (4)
Github contributions (5)
sagemath/sage
Oct 2014 - Jan 2023
Main repository of SageMath
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1054 reviews, 1593 commits, 117 PRs in 8 years 4 months
Contributions summary:David made several contributions to the core functionality of the SageMath project. The commits focused on improving the subgraph functionality, including improving the add algorithm, changing the threshold for the default algorithm, and fixing a potential bug in the core library with the graphs. The commits indicate the development of core backend features.
dcoudert/sage
Feb 2023 - Apr 2025
Main repository of SageMath. Now open for Issues and Pull Requests.
Contributions:1 PR, 413 pushes, 113 branches in 2 years 1 month
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.