VLDB 2026 Research / recruiting
Reviewers in the wild
The CS expert database: 1,777,551 experts · 2,837,695 papers in CCF A–C and ICORE A*–C venues · 10 venue-derived domains · snapshot 2026-09-22.
Experts by research domain — the database's own venue-derived domains; a paper can belong to several; active = at least one paper since 2021
Artificial intelligence and machine learning
419,855 active · 726,626 total · 856,312 papers
NeurIPS · AAAI · ESWA · CVPR · ICML · EAAI
Graphics, computer vision, multimedia, augmented reality and games
220,290 active · 419,218 total · 473,177 papers
AAAI · ICASSP · MTA · CVPR · INTERSPEECH · ICCV
Applied, interdisciplinary, general and emerging computing
306,612 active · 637,688 total · 436,260 papers
TGARS · IGARSS · TITS · TII · CogSci · Bioinformatics
Systems, architecture and hardware
148,087 active · 345,638 total · 325,499 papers
IROS · ICRA · VTC · ISCAS · TJSC · IECON
Computer networks
105,468 active · 214,616 total · 249,845 papers
IOT · ICC · GLOBECOM · TWC · TCOM · TMC
Databases, data management, data science and information retrieval
134,049 active · 269,256 total · 249,104 papers
IEEE BigData · CIKM · SIGKDD · TKDE · AEI · SIGIR
Theory of computation
38,447 active · 105,648 total · 202,645 papers
TIT · TCS · DAM · SODA · STOC · ICALP
Human-computer interaction and ubiquitous computing
114,847 active · 268,055 total · 198,672 papers
CHI · SMC · TSMC · SIGCSE · PACMHCI · IJHCI
Software engineering, systems software and programming languages
76,605 active · 178,952 total · 173,661 papers
DATE · COMPSAC · CoDIT · PACM PL · TSC · JSS
Security and privacy
57,527 active · 109,981 total · 102,399 papers
TIFS · TDSC · USENIX Security · TrustCom · CCS · JISA
Experts by expertise
The expertise taxonomy: 90,661 topics extracted from 634,694 papers of 537,692 experts, organised under the ten CCF categories and 168 areas. Pick a category, then narrow down to a topic; every level lists its experts by weight.
Artificial intelligence
231,922 experts · 238,182 papers
33 areas · 23,066 topics
Theoretical computer science
84,688 experts · 103,442 papers
15 areas · 12,358 topics
Computer architecture, parallel and distributed computing, and storage systems
119,266 experts · 88,175 papers
18 areas · 10,819 topics
Computer graphics and multimedia
99,217 experts · 74,150 papers
13 areas · 7,821 topics
Computer networks
79,947 experts · 72,281 papers
18 areas · 9,664 topics
Databases, data mining, and information retrieval
83,822 experts · 68,869 papers
17 areas · 7,059 topics
Network and information security
67,706 experts · 53,290 papers
15 areas · 5,550 topics
Interdisciplinary, comprehensive, and emerging computing
111,858 experts · 46,353 papers
9 areas · 5,108 topics
Human-computer interaction and pervasive computing
77,670 experts · 43,820 papers
16 areas · 4,757 topics
Software engineering, system software, and programming languages
53,122 experts · 40,802 papers
14 areas · 4,459 topics
Theoretical computer science›Automated reasoning and model checking
area
6,077 papers · 8,598 experts
Sub-topics
100 · with their number of papers; shaded topics divide further
model checking 735satisfiability 666theorem proving 300satisfiability modulo theories 251reachability 240automated theorem proving 120automated reasoning 102decision procedures 97reactive synthesis 89model counting 83knowledge compilation 73program verification 70probabilistic verification 62equational reasoning 52runtime verification 51constraint solving 46parameterized verification 46abstraction refinement 42synthesis 42hybrid systems verification 41protocol verification 40probabilistic inference 39real-time verification 36compositional verification 35planning 35controller synthesis 34argumentation 33abstraction 32safety verification 32hybrid systems 31neural network verification 31discrete event systems 28temporal logic verification 27temporal logic specification 26diagnosis 21automata-based verification 18hyperproperties 18petri net analysis 18quantitative verification 14falsification 13state space exploration 13game-based verification 12real-time systems 11reasoning about actions 11deduction 10invariant generation 10symbolic verification 10concept learning 8hardware verification 7inductive reasoning 5resolution-based reasoning 5certification 4formal methods for security 3
Show 47 smaller topics (under 10 papers each)
computer-aided proofs 9program transformation 9search space pruning 9constraint-based reasoning 8probabilistic systems 7reactive system verification 7image computation 6inductive proof 6neural-symbolic reasoning 6decidability and complexity of verification 5explanation generation 5fixpoint computation 5implicit hitting set 5interface automata 5model repair 5pure literal rule 5refinement checking 5symbolic reasoning 5symmetry exploitation 5analogical reasoning 4boolean formula evaluation 4learning-based verification 4logical error detection 4parameterized systems 4program testing 4relaxation labeling 4state space analysis 4symbolic state-space representation 4verification algorithms 4algebraic verification 3causality-based explanation 3fair transition systems 3fuzzy reasoning 3heuristic reasoning 3inference engine 3net unfoldings 3probabilistic programs 3QBF encoding 3relational reasoning 3safety analysis 3shielding 3state-space representation 3symbolic simulation 3symbolic transition systems 3unification and matching 3verification and synthesis 3verification tools 3
Experts on Automated reasoning and model checking
8,598 · by weight: papers on the topic counted with recency (1 for a paper about it, 0.3 as context, halved every five years), summed over the area's topics