i10 Productivity
Rankings
University of Liverpool/ ScientistsEngineering & Technology / Computer Science i10 Productivity Rankings 2025
Productivity Rankings is an exclusive service provided by AD Scientific Index. This ranking system, derived from the i10 index, highlights the productivity of scientists in publishing impactful scientific articles. Productivity Rankings serves as a tool to identify highly productive scientists across specific areas, disciplines, universities, and countries, and supports the creation of effective incentives and academic policies. The global, regional, and institutional rankings of scientists in this table are calculated based on their total i10 index. Moreover, you can explore special rankings derived from Productivity Rankings, such as 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
Algorithms
Complexity
Algorithmic Game Theory
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
236
70
0.297
* Total i10 IndexRankings
Ranking Based On Selection :2
Artificial Intelligence
Agents
Logic
Knowledge Representation
Multi-agent Systems
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
192
62
0.323
* Total i10 IndexRankings
Ranking Based On Selection :3
Artificial Intelligence
Logic in Computer Science
Knowledge Representation
Modal Logic
Logic
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
179
105
0.587
* Total i10 IndexRankings
Ranking Based On Selection :4
Machine Learning
Big Data
Data Science
Applied Data Mining
DMML
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
159
80
0.503
* Total i10 IndexRankings
Ranking Based On Selection :5
Artificial intelligence
Computational models of argument
AI and law
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
118
69
0.585
* Total i10 IndexRankings
Ranking Based On Selection :6
Computer networks
Wireless networks
multi-sensory immersive
haptics
olfaction
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
106
61
0.575
* Total i10 IndexRankings
Ranking Based On Selection :7
AI Safety and Security
Verification
Trustworthy AI
Formal Methods
Explainable AI
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
77
69
0.896
* Total i10 IndexRankings
Ranking Based On Selection :8
machine learning
data analysis
mathematical modelling
DMML
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
74
47
0.635
* Total i10 IndexRankings
Ranking Based On Selection :9
Verification
Automated Theorem Proving
Modal Logics
Temporal Logics
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
70
18
0.257
* Total i10 IndexRankings
Ranking Based On Selection :10
Automata Theory
Synthesis
Game Theory
Model Checking
Verification
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
67
45
0.672
* Total i10 IndexRankings
Ranking Based On Selection :11
Algorithms
Scheduling
Optimization
Combinatorics
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
59
23
0.390
* Total i10 IndexRankings
Ranking Based On Selection :12
Game Theory
Algorithms and Complexity
Learning
Automated Trading
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
55
42
0.764
* Total i10 IndexRankings
Ranking Based On Selection :13
ontologies
ontology engineering
ontologies in MAS
artificial intelligence
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
51
14
0.275
* Total i10 IndexRankings
Ranking Based On Selection :14
Geometric Data Science
Mathematical Crystallography
Applied Geometry
TDA
Moduli Spaces
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
47
39
0.830
* Total i10 IndexRankings
Ranking Based On Selection :15
Information Theory
Communications
Machine Learning
Trustworthy AI
Graph Neural Networks
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
44
38
0.864
* Total i10 IndexRankings
Ranking Based On Selection :16
Description logic
temporal logic
automated reasoning
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
44
21
0.477
* Total i10 IndexRankings
Ranking Based On Selection :17
autonomous research
chemical robotics
machine learning
functional materials
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
42
42
1.000
* Total i10 IndexRankings
Ranking Based On Selection :18
Music Psychology
Music in Everyday Life
Music Computing
Affective Sciences
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
41
34
0.829
* Total i10 IndexRankings
Ranking Based On Selection :19
Algorithmic Game Theory
Algorithms
Optimization
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
41
26
0.634
* Total i10 IndexRankings
Ranking Based On Selection :20
Reachability Problems
Algorithms
Automata Theory
Theory of computation
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
36
14
0.389
* Total i10 IndexRankings
Ranking Based On Selection :21
Game Theory
Verification
Embedded Systems
Stochastic Systems
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
35
26
0.743
* Total i10 IndexRankings
Ranking Based On Selection :22
High-Performance Computing
Scientific Software Development
Computational Chemistry
Environmental Engineering
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
32
14
0.438
* Total i10 IndexRankings
Ranking Based On Selection :23
Machine Learning
Formal Methods
Control
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
31
31
1.000
* Total i10 IndexRankings
Ranking Based On Selection :24
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
31
9
0.290
* Total i10 IndexRankings
Ranking Based On Selection :25
Autonomous systems
formal verification
robotics
unmanned aircraft
computer security.
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
30
18
0.600
Paul Spirakis
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
236
70
0.297
Algorithms
Complexity
Algorithmic Game Theory
Wiebe Van Der Hoek
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
192
62
0.323
Artificial Intelligence
Agents
Logic
Knowledge Representation
Multi-agent Systems
Frank Wolter
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
179
105
0.587
Artificial Intelligence
Logic in Computer Science
Knowledge Representation
Modal Logic
Logic
Frans Coenen
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
159
80
0.503
Machine Learning
Big Data
Data Science
Applied Data Mining
DMML
Katie Atkinson
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
118
69
0.585
Artificial intelligence
Computational models of argument
AI and law
Alan Marshall
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
106
61
0.575
Computer networks
Wireless networks
multi-sensory immersive
haptics
olfaction
Xiaowei Huang
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
77
69
0.896
AI Safety and Security
Verification
Trustworthy AI
Formal Methods
Explainable AI
JY Goulermas
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
74
47
0.635
machine learning
data analysis
mathematical modelling
DMML
Ullrich Hustadt
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
70
18
0.257
Verification
Automated Theorem Proving
Modal Logics
Temporal Logics
Sven Schewe
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
67
45
0.672
Automata Theory
Synthesis
Game Theory
Model Checking
Verification
Prudence Wh Wong
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
59
23
0.390
Algorithms
Scheduling
Optimization
Combinatorics
Rahul Savani
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
55
42
0.764
Game Theory
Algorithms and Complexity
Learning
Automated Trading
Valentina Tamma
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
51
14
0.275
ontologies
ontology engineering
ontologies in MAS
artificial intelligence
Vitaliy Kurlin
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
47
39
0.830
Geometric Data Science
Mathematical Crystallography
Applied Geometry
TDA
Moduli Spaces
Xinping Yi
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
44
38
0.864
Information Theory
Communications
Machine Learning
Trustworthy AI
Graph Neural Networks
Boris Konev
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
44
21
0.477
Description logic
temporal logic
automated reasoning
Yue Wu
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
42
42
1.000
autonomous research
chemical robotics
machine learning
functional materials
Eduardo Coutinho
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
41
34
0.829
Music Psychology
Music in Everyday Life
Music Computing
Affective Sciences
Martin Gairing
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
41
26
0.634
Algorithmic Game Theory
Algorithms
Optimization
Igor Potapov
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
36
14
0.389
Reachability Problems
Algorithms
Automata Theory
Theory of computation
Dominik Wojtczak
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
35
26
0.743
Game Theory
Verification
Embedded Systems
Stochastic Systems
Manhui Wang
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
32
14
0.438
High-Performance Computing
Scientific Software Development
Computational Chemistry
Environmental Engineering
Chao Huang
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
31
31
1.000
Machine Learning
Formal Methods
Control
Floriana Grasso
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
31
9
0.290
Matt Webster
University of Liverpool
Liverpool, United Kingdom
i-10 Metrics
Total
Last 6 Years
Last 6 Years / Total
30
18
0.600
Autonomous systems
formal verification
robotics
unmanned aircraft
computer security.