Demo Data from SIGIR 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
Sub-topics
100 · with their number of papers; shaded topics divide further
temporal logic 799proof theory 497modal logic 430finite model theory 429semantics 388logic programming 374process algebra 290nonmonotonic reasoning 230first-order logic 200bisimulation 173type theory 166monadic second-order logic 148epistemic logic 136concurrency theory 135domain theory 135term rewriting 133meta-logic 130categorical semantics 118completeness 94program semantics 94formal semantics 88category theory 87lambda calculus 84program logic 72formal arithmetic 68model theory 67unification 65many-valued logic 64rewriting systems 63belief revision 62propositional logic 54higher-order logic 51knowledge representation and reasoning 51formal specification 50algebraic logic 47formal methods 46algebraic specification 44proof systems 43coalgebra 42quantifier elimination 39fixpoint logic 27infinite games 26program schemas 26universal algebra 26transition systems 23temporal reasoning 22coinduction 21boolean networks 20set theory 20separability 17constructive mathematics 16causality 15concurrency 14algebraic characterization 11classical logic 11logical relations 11rewriting 11imperfect information 10recursion 10modal and dynamic logic 7philosophical logic 6program analysis 6variable binding 6formal systems 4logic for databases 3
Show 35 smaller topics (under 10 papers each)
recursive function theory 9specification and verification 9algebraic reasoning 8containment 7equivalence relations 7compositional reasoning 6decomposition theorem 6inconsistency measures 6nominal sets 6partial functions 6query evaluation 6structural induction 6topological characterization 6fuzzy set theory 5inconsistency handling 5intensional logic 5weighted logics 5chase algorithm 4equality 4logical equivalence 4programming languages and type systems 4quantificational logic 4self-reference 4sound and complete logical system 4algebraic system theory 3arithmetic 3bisimulation and simulation 3boolean combination 3completeness and decidability 3equation solving 3graph logic 3higher-order abstract syntax 3linear modular equations 3real-time properties 3sequential circuit theory 3
Experts on Logic in computer science
8,851 · 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