i10 Productivity
Rankings
Laboratoire d\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'Informatique de l\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'École polytechnique ScientistsOthers i10 Productivity Rankings 2025
Productivity Rankings is a unique service offered only by “AD Scientific Index”. This is a ranking system derived from the i10 index in order to show the productivity of the scientist in publishing scientific articles of value. Productivity Rankings is an instrument that lists productive scientists in a given area, discipline, university, and country and can guide the development of meaningful incentives and academic policies. The world rankings, regional rankings, and university rankings of scientists in this table are developed based on the total i10 index. Additionally, click to view the special rankings based on Productivity Rankings: Scientists Last 6 years' i10 Index", Universities Total i10 Index Rankings 2025, Universities Last 6 Years i10 Index Rankings 2025 "Art and Humanities i10 Productivity Rankings" and "Social Sciences and Humanities i10 Productivity Rankings".
* Total i10 IndexRankings
Ranking Based On Selection :1
Coq proof assistant
Formal verification
Iris separation logic
Rust
OCaml
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
24
24
1.000
* Total i10 IndexRankings
Ranking Based On Selection :2
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
24
10
0.417
* Total i10 IndexRankings
Ranking Based On Selection :3
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
15
5
0.333
* Total i10 IndexRankings
Ranking Based On Selection :4
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
13
12
0.923
* Total i10 IndexRankings
Ranking Based On Selection :5
Probability
Combinatorics
Statistical Mechanics
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
* Total i10 IndexRankings
Ranking Based On Selection :6
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
10
7
0.700
* Total i10 IndexRankings
Ranking Based On Selection :7
probabilités
combinatoire
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
10
6
0.600
* Total i10 IndexRankings
Ranking Based On Selection :8
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
9
3
0.333
* Total i10 IndexRankings
Ranking Based On Selection :9
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
8
8
1.000
* Total i10 IndexRankings
Ranking Based On Selection :10
Cognitive Computational Neuroscience
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
7
7
1.000
* Total i10 IndexRankings
Ranking Based On Selection :11
Enseignement de la physique au niveau Licence
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
7
7
1.000
* Total i10 IndexRankings
Ranking Based On Selection :12
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
6
6
1.000
* Total i10 IndexRankings
Ranking Based On Selection :13
Programming languages
Parallelism
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
5
3
0.600
* Total i10 IndexRankings
Ranking Based On Selection :14
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
4
4
1.000
* Total i10 IndexRankings
Ranking Based On Selection :15
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
4
2
0.500
* Total i10 IndexRankings
Ranking Based On Selection :16
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
3
3
1.000
* Total i10 IndexRankings
Ranking Based On Selection :17
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
1
1
1.000
* Total i10 IndexRankings
Ranking Based On Selection :18
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
1
1
1.000
* Total i10 IndexRankings
Ranking Based On Selection :19
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
1
1
1.000
* Total i10 IndexRankings
Ranking Based On Selection :20
modern philosophy
epistemology
metaphysics
Chinese philosophy
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
0
0
0
* Total i10 IndexRankings
Ranking Based On Selection :21
braid groups
algebra
artificial intelligence
software security
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
0
0
0
Jacques-Henri Jourdan
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
24
24
1.000
Coq proof assistant
Formal verification
Iris separation logic
Rust
OCaml
Nicolas Bourgeois
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
24
10
0.417
Camille Wormser
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
15
5
0.333
Thomas Julou
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
13
12
0.923
Laurent Ménard
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
10
9
0.900
Antonin Marchand
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
10
7
0.700
Jeremie Bettinelli
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
10
6
0.600
Adeline Pons
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
9
3
0.333
Hugo Viciana
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
8
8
1.000
Théo Desbordes
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
7
7
1.000
Vincent Freulon
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
7
7
1.000
Alexandra Colin
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
6
6
1.000
Robin Morisset
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
5
3
0.600
Benjamin Robira
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
4
4
1.000
Nikola Rankovic
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
4
2
0.500
Loïc Dubois
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
3
3
1.000
Abel Lacabanne
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
1
1
1.000
Jhih-Huang Li
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
1
1
1.000
Suzanne Lafon
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
1
1
1.000
Xiaoxing Zhang
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
0
0
0
Jeremy Chamboredon
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
0
0
0