Citation Rankings
Highly Cited Researchers
Laboratoire d\\\\\\\\\\\\\\\'Informatique de l\\\\\\\\\\\\\\\'École polytechnique Highly Cited Researchers CitationOthers Rankings 2025
The Citation Rankings (Highly Cited Researchers) highlight the most cited and influential researchers across a vast range of scientific fields, covering 197 main and sub-disciplines, including the Art and Humanities Citation Rankings and Social Sciences and Humanities Citation Rankings. This service, offered exclusively by AD Scientific Index, aims to provide a balanced perspective by excluding data from CERN and other statistical sources that disproportionately favor certain researchers, particularly in the social sciences and humanities. This unique approach addresses the advantages researchers with multi-author publications and CERN involvement hold over others. Furthermore, citation rankings help uncover rule violations and unethical practices within the research community. For more detailed citation analyses, explore the Scientists Last 6 Years Citation Index, Universities Total Citations Rankings 2025, and Universities Last 6 Years Citations Rankings 2025.
* Total Citation Counts Rankings
Ranking Based On Selection :1
Coq proof assistant
Formal verification
Iris separation logic
Rust
OCaml
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,430
1,993
0.820
* Total Citation Counts Rankings
Ranking Based On Selection :2
Cognitive Computational Neuroscience
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,394
1,392
0.999
* Total Citation Counts Rankings
Ranking Based On Selection :3
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,255
714
0.569
* Total Citation Counts Rankings
Ranking Based On Selection :4
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,225
570
0.465
* Total Citation Counts Rankings
Ranking Based On Selection :5
Enseignement de la physique au niveau Licence
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,079
569
0.527
* Total Citation Counts Rankings
Ranking Based On Selection :6
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
897
310
0.346
* Total Citation Counts Rankings
Ranking Based On Selection :7
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
773
197
0.255
* Total Citation Counts Rankings
Ranking Based On Selection :8
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
618
553
0.895
* Total Citation Counts Rankings
Ranking Based On Selection :9
Programming languages
Parallelism
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
471
246
0.522
* Total Citation Counts Rankings
Ranking Based On Selection :10
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
313
157
0.502
* Total Citation Counts Rankings
Ranking Based On Selection :11
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
264
245
0.928
* Total Citation Counts Rankings
Ranking Based On Selection :12
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
188
76
0.404
* Total Citation Counts Rankings
Ranking Based On Selection :13
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
156
153
0.981
* Total Citation Counts Rankings
Ranking Based On Selection :14
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
86
55
0.640
* Total Citation Counts Rankings
Ranking Based On Selection :15
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
57
51
0.895
* Total Citation Counts Rankings
Ranking Based On Selection :16
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
56
52
0.929
* Total Citation Counts Rankings
Ranking Based On Selection :17
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
41
41
1.000
* Total Citation Counts Rankings
Ranking Based On Selection :18
modern philosophy
epistemology
metaphysics
Chinese philosophy
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
12
11
0.917
* Total Citation Counts Rankings
Ranking Based On Selection :19
braid groups
algebra
artificial intelligence
software security
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
3
0
0.000
* Total Citation Counts Rankings
Rankings
383,919
12,057
10
Ranking Based On Selection: 1
Jacques-Henri Jourdan
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
2,430
1,993
0.820
Coq proof assistant
Formal verification
Iris separation logic
Rust
OCaml
* Total Citation Counts Rankings
Rankings
563,974
17,408
16
Ranking Based On Selection: 2
Théo Desbordes
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,394
1,392
0.999
* Total Citation Counts Rankings
Rankings
600,950
18,368
17
Ranking Based On Selection: 3
Thomas Julou
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,255
714
0.569
* Total Citation Counts Rankings
Rankings
609,552
18,575
18
Ranking Based On Selection: 4
Antonin Marchand
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,225
570
0.465
* Total Citation Counts Rankings
Rankings
655,328
19,784
21
Ranking Based On Selection: 5
Vincent Freulon
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
1,079
569
0.527
* Total Citation Counts Rankings
Rankings
722,189
21,458
23
Ranking Based On Selection: 6
Nicolas Bourgeois
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
897
310
0.346
* Total Citation Counts Rankings
Rankings
775,110
22,767
25
Ranking Based On Selection: 7
Camille Wormser
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
773
197
0.255
* Total Citation Counts Rankings
Rankings
851,115
24,644
28
Ranking Based On Selection: 8
Hugo Viciana
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
618
553
0.895
* Total Citation Counts Rankings
Rankings
945,492
26,933
33
Ranking Based On Selection: 9
Robin Morisset
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
471
246
0.522
* Total Citation Counts Rankings
Rankings
1,108,247
30,745
37
Ranking Based On Selection: 10
Adeline Pons
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
313
157
0.502
* Total Citation Counts Rankings
Rankings
1,177,419
32,256
38
Ranking Based On Selection: 11
Alexandra Colin
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
264
245
0.928
* Total Citation Counts Rankings
Rankings
1,320,210
35,005
40
Ranking Based On Selection: 12
Nikola Rankovic
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
188
76
0.404
* Total Citation Counts Rankings
Rankings
1,397,732
36,405
42
Ranking Based On Selection: 13
Benjamin Robira
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
156
153
0.981
* Total Citation Counts Rankings
Rankings
1,641,358
40,649
46
Ranking Based On Selection: 14
Loïc Dubois
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
86
55
0.640
* Total Citation Counts Rankings
Rankings
1,785,335
43,101
48
Ranking Based On Selection: 15
Jhih-Huang Li
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
57
51
0.895
* Total Citation Counts Rankings
Rankings
1,790,761
43,182
49
Ranking Based On Selection: 16
Abel Lacabanne
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
56
52
0.929
* Total Citation Counts Rankings
Rankings
1,884,626
44,733
52
Ranking Based On Selection: 17
Suzanne Lafon
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
41
41
1.000
* Total Citation Counts Rankings
Rankings
2,169,791
49,593
54
Ranking Based On Selection: 18
Xiaoxing Zhang
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
12
11
0.917
* Total Citation Counts Rankings
Rankings
2,338,347
51,588
55
Ranking Based On Selection: 19
Jeremy Chamboredon
Citation Metrics
Total
Last 6 Years
Last 6 Years / Total
3
0
0.000