David Sherman
Senior Scientist (DR1) at INRIA – French National Institute for computer science and applied mathematics
Talence, Nouvelle-Aquitaine, France
Summary
👤
Senior🎓
Top SchoolDavid Sherman is a senior research scientist and team leader at INRIA Bordeaux with over a decade of experience developing algorithms and formal models to link genomes, genetic elements, and cellular behavior. Trained at the University of Chicago (PhD) and an experienced academic (formerly associate professor), he leads an interdisciplinary computational biology group that blends equational logic, pattern recognition, and large-scale search to produce practical software for data integration and interactive exploration. His work bridges theory and practice: alongside proving formal properties of dynamic systems, his team has helped define international data interoperability standards now used by national data centers and industry. David’s background in formal methods informs a rigorous approach to bioinformatics, yielding tools designed for scalability and reproducibility in comparative genomics and multi-scale modeling. Based in Talence, France, he supervises PhD students at the University of Bordeaux and maintains a steady academic trajectory from ENSEIRB to INRIA research director. An often-overlooked strength is his ability to translate abstract formalism into standards and software with real-world adoption.
11 years of coding experience
14 years of employment as a software developer
HDR, Computer Science, HDR, Computer Science at Université de BordeauxPh.D., Computer Science, Ph.D., Computer Science at University of Chicago
English, French
Github Skills (103)
genomics10
two-dimensional10
mesh10
pipeline10
science10
storage10
sequencing10
simulation10
docker10
bioinformatics10
robotics9
glusterfs9
data-protection9
sdk9
galaxy9
Programming languages (10)
Github contributions (5)
davidjsherman/inirobot-scratch-thymioII
Nov 2014 - Aug 2022
Contributions:7 releases, 98 commits, 2 PRs in 7 years 10 months
scratchthymiorobotlink
davidjsherman/aseba-target-thymio2
Jul 2015 - Jan 2018
Contributions:3 PRs, 21 pushes, 17 branches in 2 years 6 months
thymiofirmware
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.