EDBT 2026 Demo / 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
Software engineering, system software, and programming languages›Program verification›model checking
topic
378 papers · 887 experts
Sub-topics
26 · with their number of papers; shaded topics divide further
software model checking 96bounded model checking 61partial order reduction 30stateless model checking 28state space exploration 27finite-state verification 20state space reduction 16higher-order recursion schemes 14counterexample generation 13probabilistic model checking 13state space explosion 10explicit-state model checking 9pushdown systems 7statistical model checking 7symbolic model checking 7infinite-state model checking 6k-induction 6witness validation 6symmetry reduction 4timed automata verification 4architectural model checking 3counterexample analysis 3domain-specific model checking 3modular model checking 3process model verification 3temporal logic model checking 3
Experts on model checking
887 · by weight: papers on the topic counted with recency (1 for a paper about it, 0.3 as context, halved every five years)