Top 100 scientists can be ranked globally or specific to the following regions including Africa, Asia, Europe, North America, Latin America, Oceania, Arab League, ASEAN, EECA, and BRICS based on total H-index scores without any breakdown by subject areas. Top 100 rankings in the world, in a continent, or a region include standardized subjects areas of Agriculture & Forestry, Arts, Design and Architecture, Business & Management, Economics & Econometrics, Education, Engineering & Technology, History, Philosophy, Theology, Law/Law and Legal Studies, Medical and Health Sciences, Natural Sciences, Social Sciences, Art and Humanities Rankings and Social Sciences and Humanities Rankings BETA VERSION. Subject field ranking in world, region, country and university is beta version since subject field "others" (873,690 scientists profile whose branch cannot be determined, not yet edited or determined) is excluded, so the ranking will change as the others fields are edited. Please note that. Subjects indicated as “ * others ” will not be included in the ranking by regions and subjects.
probabilistic theory
model checking
trustworthy AI
Metrics
H-Index
i10 Index
Citation
77
772
29,929
Satisfiability
Constraint Solving
Combinatorial Optimization
Heuristic Search
Metrics
H-Index
i10 Index
Citation
35
80
3,559
Artificial Intelligence
Semantic Web
Data Mining
Logic Programming
Metrics
H-Index
i10 Index
Citation
35
75
5,280
Formal Methods
Real-time
embedded and hybrid systems
Program Verification
Metrics
H-Index
i10 Index
Citation
30
77
2,981
Software Engineering
Metrics
H-Index
i10 Index
Citation
22
38
1,735
software testing
static analysis
software evolution
Metrics
H-Index
i10 Index
Citation
22
31
1,995
Software Engineering
Programming Languages
Concurrency
Multithreading
Security
Metrics
H-Index
i10 Index
Citation
21
32
1,366
Formal Methods
Autonomous Systems
AI
Metrics
H-Index
i10 Index
Citation
19
27
875
Software engineering
Computer science
Metrics
H-Index
i10 Index
Citation
19
38
1,322
* Rankings
Ranking Based
On Selection: 10
Visualization
Virtual Reality
Computer Graphics
Rendering
Imaging
Metrics
H-Index
i10 Index
Citation
17
44
1,208
Enroll all your faculty members with discounted institutional membership to showcase your institution's academic strength to the world in the best way possible – join now and achieve results fast!
* Rankings
Ranking Based
On Selection: 11
Formal Verification
Probabilistic Systems
Metrics
H-Index
i10 Index
Citation
17
27
1,027
* Rankings
Ranking Based
On Selection: 12
Mathematics
Dynamical Systems
Simulations
Logic
Theoretical computer Science
Metrics
H-Index
i10 Index
Citation
17
33
950
* Rankings
Ranking Based
On Selection: 13
Metrics
H-Index
i10 Index
Citation
16
18
824
* Rankings
Ranking Based
On Selection: 14
Artificial Intelligence
Metrics
H-Index
i10 Index
Citation
15
21
1,058
* Rankings
Ranking Based
On Selection: 15
Quantum computing
Formal Verification
Metrics
H-Index
i10 Index
Citation
14
16
627
* Rankings
Ranking Based
On Selection: 16
Metrics
H-Index
i10 Index
Citation
14
21
745
* Rankings
Ranking Based
On Selection: 17
Computational Logic
Program Analysis and Verification
Automata Theory
Metrics
H-Index
i10 Index
Citation
14
17
569
* Rankings
Ranking Based
On Selection: 18
Interactive Theorem Proving
Metrics
H-Index
i10 Index
Citation
12
19
512
* Rankings
Ranking Based
On Selection: 19
software engineering
heuristic algorithm
Metrics
H-Index
i10 Index
Citation
12
12
465
* Rankings
Ranking Based
On Selection: 20
SAT
SMT
EDA
Metrics
H-Index
i10 Index
Citation
10
10
197
* Rankings
Ranking Based
On Selection: 21
Quantum computation and information
Metrics
H-Index
i10 Index
Citation
10
10
290
* Rankings
Ranking Based
On Selection: 22
Software Testing
Program Analysis
Mobile Application
Metrics
H-Index
i10 Index
Citation
10
10
230
* Rankings
Ranking Based
On Selection: 23
Model Checking
Software Testing
Formal Methods
Machine Learning
Metrics
H-Index
i10 Index
Citation
10
12
435
* Rankings
Ranking Based
On Selection: 24
software testing
fault localization
software debugging
combinatorial testing
Metrics
H-Index
i10 Index
Citation
10
10
449
* Rankings
Ranking Based
On Selection: 25
Metrics
H-Index
i10 Index
Citation
9
8
265
* Rankings
Ranking Based
On Selection: 26
Computer Science
Quantum Computing
Quantum Information
Metrics
H-Index
i10 Index
Citation
8
8
686
* Rankings
Ranking Based
On Selection: 27
Probabilistic model checking
DNN verification
Metrics
H-Index
i10 Index
Citation
8
7
326
* Rankings
Ranking Based
On Selection: 28
Automated Reasoning
Constraint Programming
Neuro-symbolic Methods
Metrics
H-Index
i10 Index
Citation
6
2
82
* Rankings
Ranking Based
On Selection: 29
Web Mining
Anomaly Detection
Knowledge Graph
Metrics
H-Index
i10 Index
Citation
6
4
122
* Rankings
Ranking Based
On Selection: 30
complexity theory
Metrics
H-Index
i10 Index
Citation
6
6
112
* Rankings
Ranking Based
On Selection: 31
formal methods
formal semantics
theorem proving
Metrics
H-Index
i10 Index
Citation
6
1
75
* Rankings
Ranking Based
On Selection: 32
Software Engineering
Static Analysis
Constraint Solving
Software Testing
Metrics
H-Index
i10 Index
Citation
5
4
80
* Rankings
Ranking Based
On Selection: 33
program analysis
symbolic execution
Metrics
H-Index
i10 Index
Citation
5
2
51
* Rankings
Ranking Based
On Selection: 34
Multi-view learning
Deep learning
Metrics
H-Index
i10 Index
Citation
3
3
336
* Rankings
Ranking Based
On Selection: 35
Program Analysis
Software Testing
Metrics
H-Index
i10 Index
Citation
3
2
31
* Rankings
Ranking Based
On Selection: 36
Computer Graphics
Geometry Modeling
Metrics
H-Index
i10 Index
Citation
3
1
26
* Rankings
Ranking Based
On Selection: 37
Formal Languages and Automata Theory
Learning Theory
Theoretical Computer Science
Metrics
H-Index
i10 Index
Citation
2
0
16
* Rankings
Ranking Based
On Selection: 38
mathematical logic
computability theory
algorithmic randomness
Metrics
H-Index
i10 Index
Citation
2
0
14
* Rankings
Ranking Based
On Selection: 39
Formal Verification
Model Checking
Programming Languages
Metrics
H-Index
i10 Index
Citation
2
0
11
* Rankings
Ranking Based
On Selection: 40
automated reasoning
program analysis
software testing
constraint solving
Metrics
H-Index
i10 Index
Citation
1
1
14
* Rankings
Ranking Based
On Selection: 41
formal verification
Metrics
H-Index
i10 Index
Citation
1
0
9
Lijun Zhang
Metrics
H-Index
i10 Index
Citation Counts
77
772
29,929
Shaowei Cai
Metrics
H-Index
i10 Index
Citation Counts
35
80
3,559
Satisfiability
Constraint Solving
Combinatorial Optimization
Heuristic Search
Yi-Dong Shen
Metrics
H-Index
i10 Index
Citation Counts
35
75
5,280
Artificial Intelligence
Semantic Web
Data Mining
Logic Programming
Naijun Zhan
Metrics
H-Index
i10 Index
Citation Counts
30
77
2,981
Formal Methods
Real-time
embedded and hybrid systems
Program Verification
Jun Yan
Metrics
H-Index
i10 Index
Citation Counts
22
38
1,735
Zhenyu (Charles) Zhang
Metrics
H-Index
i10 Index
Citation Counts
22
31
1,995
software testing
static analysis
software evolution
Yan Cai
Metrics
H-Index
i10 Index
Citation Counts
21
32
1,366
Software Engineering
Programming Languages
Concurrency
Multithreading
Security
Haiming Chen
Metrics
H-Index
i10 Index
Citation Counts
19
38
1,322
Software engineering
Computer science
Wencheng Wang
Metrics
H-Index
i10 Index
Citation Counts
17
44
1,208
Visualization
Virtual Reality
Computer Graphics
Rendering
Imaging
Enroll all your faculty members with discounted institutional membership to showcase your institution's academic strength to the world in the best way possible – join now and achieve results fast!
Andrea Turrini
Metrics
H-Index
i10 Index
Citation Counts
17
27
1,027
Formal Verification
Probabilistic Systems
George Barmpalias
Metrics
H-Index
i10 Index
Citation Counts
17
33
950
Mathematics
Dynamical Systems
Simulations
Logic
Theoretical computer Science
夏盟佶 Xia, Mingji
Metrics
H-Index
i10 Index
Citation Counts
16
18
824
Feifei Ma
Metrics
H-Index
i10 Index
Citation Counts
15
21
1,058
Li Zhou
Metrics
H-Index
i10 Index
Citation Counts
14
16
627
Rongjie Yan
Metrics
H-Index
i10 Index
Citation Counts
14
21
745
Zhilin Wu
Metrics
H-Index
i10 Index
Citation Counts
14
17
569
Computational Logic
Program Analysis and Verification
Automata Theory
Jinkun Lin
Metrics
H-Index
i10 Index
Citation Counts
12
12
465
software engineering
heuristic algorithm
Xindi Zhang (张昕荻)|Xindi Zhang, 张 昕荻
Metrics
H-Index
i10 Index
Citation Counts
10
10
197
Ji Guan
Metrics
H-Index
i10 Index
Citation Counts
10
10
290
Jiwei Yan
Metrics
H-Index
i10 Index
Citation Counts
10
10
230
Software Testing
Program Analysis
Mobile Application
Peng Wu
Metrics
H-Index
i10 Index
Citation Counts
10
12
435
Model Checking
Software Testing
Formal Methods
Machine Learning
Zhiqiang Zhang
Metrics
H-Index
i10 Index
Citation Counts
10
10
449
software testing
fault localization
software debugging
combinatorial testing
Xue-Yang Zhu
Metrics
H-Index
i10 Index
Citation Counts
9
8
265
Kean Chen
Metrics
H-Index
i10 Index
Citation Counts
8
8
686
Computer Science
Quantum Computing
Quantum Information
Pengfei Yang
Metrics
H-Index
i10 Index
Citation Counts
8
7
326
Probabilistic model checking
DNN verification
Minghao Liu
Metrics
H-Index
i10 Index
Citation Counts
6
2
82
Automated Reasoning
Constraint Programming
Neuro-symbolic Methods
Jiaqi Zhu
Metrics
H-Index
i10 Index
Citation Counts
6
4
122
Web Mining
Anomaly Detection
Knowledge Graph
Shiteng Chen
Metrics
H-Index
i10 Index
Citation Counts
6
6
112
Li Yongjian
Metrics
H-Index
i10 Index
Citation Counts
6
1
75
formal methods
formal semantics
theorem proving
Linjie Pan
Metrics
H-Index
i10 Index
Citation Counts
5
4
80
Software Engineering
Static Analysis
Constraint Solving
Software Testing
Xiaofan Wang
Metrics
H-Index
i10 Index
Citation Counts
2
0
16
Formal Languages and Automata Theory
Learning Theory
Theoretical Computer Science
Nan Fang
Metrics
H-Index
i10 Index
Citation Counts
2
0
14
mathematical logic
computability theory
algorithmic randomness
Weizhi Feng
Metrics
H-Index
i10 Index
Citation Counts
2
0
11
Formal Verification
Model Checking
Programming Languages
Jian Zhang
Metrics
H-Index
i10 Index
Citation Counts
1
1
14
automated reasoning
program analysis
software testing
constraint solving
Dejin Ren
Metrics
H-Index
i10 Index
Citation Counts
1
0
9