Demo Data from EDBT 2026 / recruitment
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
area
4,069 papers · 6,464 experts
Sub-topics
109 · with their number of papers; shaded topics divide further
model checking 378concurrent program verification 160modular verification 115termination analysis 112invariant generation 102proof assistants 97program logic 88neural network verification 87theorem proving 79deductive verification 65safety verification 49correctness proof 45SMT-based verification 43abstraction refinement 41equivalence checking 40automated verification 39temporal logic verification 38protocol verification 33mechanized verification 31refinement 29proof-carrying code 25specification verification 23security property verification 19automated reasoning and model checking 18bounded verification 18contract verification 17modular reasoning 17static verification 16formal proof 15predicate transformers 15proof generation 15type-based verification 15dynamic verification 13relational verification 13temporal logic 13distributed system verification 12axiomatization 11formal modeling 11functional correctness 11hyperproperty verification 11information flow security 11probabilistic verification 11quantitative verification 10verification 10reactive system verification 9abstraction-based verification 8annotation inference 8code-level verification 8pointer program verification 8constraint-based verification 7data structure verification 7formal program development 7decision procedure 6interpolation 6invariant verification 6hardware verification 5model-based verification 5program invariants 5specification analysis 3system verification 3
Show 49 smaller topics (under 10 papers each)
correctness conditions 9loop verification 9property checking 9higher-order program verification 7model slicing 7model verification 7proof system 7relational reasoning 7safety and liveness properties 7safety properties 7environment generation 6infinite-state systems 6lightweight formal methods 6parallel program correctness 6recursive procedures 6semantic equivalence 6web application verification 6configuration verification 5simulation proof 5temporal properties 5assertions 4constraint checking 4formal methods tools 4probabilistic reasoning 4ranking supermartingales 4recursive program verification 4self-composition 4underapproximation 4abductive inference 3bounded satisfiability checking 3business process verification 3formal certification 3formal validation 3higher-order probabilistic programs 3imperative program verification 3invariants 3model transformation verification 3object-oriented programs 3presburger arithmetic 3product-line verification 3prophecy variables 3relational property 3specification repair 3specification-based reasoning 3structural induction 3unbounded verification 3uninterpreted programs 3unreliable channels 3verification decidability 3
Experts on Program verification
6,464 · 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