Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.
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.

Recruitment bar

Who qualifies as a reviewer for this venue: pick venues from the rank lists, then set the junior and senior requirements. Each role keeps its own saved bar, which diagnosis and pool planning also use.
Reviewer bar Area-chair bar
Saved reviewer bar: SIGMOD, VLDB, ICDE, PODS, SIGKDD · junior 2+ first-author in 5y or senior 4+ papers in 5y
1Venues the expert should have published in
The top venues whose papers the expertise taxonomy profiles: ranked A by CCF, A* by ICORE or A by TH-CPL. Expertise profiles are built from papers in these venues only.
No venue ticked: any listed venue counts
Computer architecture / parallel and distributed computing / storage systems 19
CCF A
CCF B
Computer networks 14
CCF A
CCF B
Network and information security 10
CCF A
CCF B
Software engineering / systems software / programming languages 15
CCF A
CCF C
Databases / data mining / content retrieval 12
CCF A
CCF B
Theory of computer science 12
CCF A
CCF B
Computer graphics and multimedia 9
CCF A
CCF B
Artificial intelligence 19
CCF A
CCF B
Human-computer interaction and ubiquitous computing 5
CCF A
CCF B
Interdisciplinary / comprehensive / emerging 8
CCF A
CCF B
4601Applied computing 1
ICORE B
4602Artificial intelligence 10
ICORE A*
4603Computer vision and multimedia computation 7
ICORE A*
4604Cybersecurity and privacy 7
ICORE A*
ICORE A
4605Data management and data science 10
ICORE A*
ICORE A
4606Distributed computing and systems software 21
ICORE A*
ICORE A
ICORE B
4607Graphics, augmented reality and games 3
ICORE A*
4608Human-centred computing 8
ICORE A*
ICORE A
4611Machine learning 9
ICORE A*
ICORE A
4612Software engineering 12
ICORE A*
ICORE A
ICORE B
ICORE C
4613Theory of computation 11
ICORE A*
ICORE A
ICORE B
CSEComputer Systems Engineering 8
ICORE A*
ICORE A
Listed are the profiled venues with papers since 2020. A venue under a lower rank here is top-tier in the list named on it. A venue ranked by both catalogues, or filed under several fields, is one entry: ticking any copy ticks them all. Rank labels are the catalogues', not a quality judgement.
2Publication requirement
at least papers as first author in the recent years
at least papers as any author in the recent years
“Recent k years” means papers dated 2026−k+1 or later; 2026 is incomplete in the snapshot and a few journals already date papers 2027. First author = first-listed, not corresponding.

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›deductive verification›verification condition generation topic 25 papers · 60 experts
Experts on verification condition generation 60 · by weight: papers on the topic counted with recency (1 for a paper about it, 0.3 as context, halved every five years)
ExpertWeight Papers on topicLast on topic All papersLastORCID
Andy Pryor
dblp:89/4121
 0.0 12000 1 · 0 since 2021 2000 none
Roderick Chapman
dblp:72/613
 0.0 12000 7 · 1 since 2021 2025 verified
Steve King 0001
dblp:06/1838
 0.0 12000 7 · 0 since 2021 2014 none
Jonathan Hammond
dblp:02/1162
 0.0 12000 2 · 0 since 2021 2001 corroborated
Laura K. Dillon
dblp:d/LKDillon
 0.0 11990 45 · 1 since 2021 2021 none
Carla Marceau
dblp:49/4371
 0.0 11990 10 · 0 since 2021 2006 none
David Guaspari
dblp:40/2258
 0.0 11990 6 · 0 since 2021 2017 none
Roger B. Dannenberg
dblp:59/6414
 0.0 11982 29 · 8 since 2021 2025 verified
George W. Ernst
dblp:24/3588
 0.0 11982 19 · 0 since 2021 1994 none
Prabhaker Mateti
dblp:99/3737
 0.0 11981 11 · 0 since 2021 2015 none
Richard L. Schwartz
dblp:52/6379
 0.0 11981 12 · 0 since 2021 1983 none
Mark Moriconi
dblp:51/4652
 0.0 11981 8 · 0 since 2021 1997 none
David Gries
dblp:g/DavidGries
 0.0 11980 51 · 0 since 2021 2008 verified
Gary Levin
dblp:43/4044
 0.0 11980 6 · 0 since 2021 2017 none
Robert E. Shostak
dblp:80/6027
 0.0 11979 17 · 0 since 2021 2012 none
M. H. van Emden
dblp:v/MaartenHvanEmden
 0.0 11976 17 · 0 since 2021 2014 none
Robert Cartwright
dblp:c/RCartwright
 0.0 11981 28 · 1 since 2021 2022 none
W. W. Bledsoe
dblp:w/WWBledsoe
 0.0 11975 22 · 0 since 2021 1993 none
Ralph L. London
dblp:71/5810
 0.0 11975 6 · 0 since 2021 1978 none
Donald I. Good
dblp:55/332
 0.0 11975 4 · 0 since 2021 1979 none
← Prev page 2 of 2