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. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

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 who meet the recruitment bar

The bar is a setting of the venue, one per role; it is edited on its own page.
Reviewer bar: SIGIR, WWW, SIGKDD, WSDM, TOIS, ACL +2 · junior 2+ first-author in 5y or senior 5+ papers in 5y · 7,017 experts meet it · change the bar
List the experts who meet it

Experts by research domain — the database's own venue-derived domains; a paper can belong to several; active = at least one paper since 2021

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.
Software engineering, system software, and programming languages›Program verification›model-based verification›state machine verification topic 3 papers · 17 experts · broader topic added to organise its sub-topics
Experts on state machine verification 17 · 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
Mohammad Omidvar Tehrani
dblp:351/6692
0.9 12025 2 · 2 since 2021 2025 corroborated
Tan Khang Le
dblp:312/4873
0.9 12025 1 · 1 since 2021 2025 reported
Steven Y. Ko
dblp:22/4235
0.9 12025 61 · 16 since 2021 2026 corroborated
Jianliang Wu 0002
dblp:16/5608-2
0.9 12025 18 · 13 since 2021 2026 verified
Yuepeng Wang 0001
dblp:133/3844
0.9 12025 25 · 15 since 2021 2025 conflict
Shengchao Qin
dblp:q/ShengchaoQin
0.3 12025 143 · 42 since 2021 2026 verified
Hui Li 0070
dblp:66/3387-70
0.3 12025 11 · 8 since 2021 2025 conflict
Jingjing Guan
dblp:318/8340
0.3 12025 6 · 6 since 2021 2025 corroborated
Binghan Wang
dblp:304/7646
0.3 12025 2 · 2 since 2021 2025 reported
Md. Armanuzzaman
dblp:218/7648
0.3 12025 5 · 5 since 2021 2025 reported
Mengda He
dblp:177/7066
0.3 12025 17 · 8 since 2021 2025 corroborated
Qiuye Wang
dblp:172/8095
0.3 12025 7 · 5 since 2021 2025 corroborated
Ziming Zhao 0001
dblp:11/7704-1
0.3 12025 71 · 35 since 2021 2026 conflict
William F. Wilson
dblp:94/6950
0.0 11986 2 · 0 since 2021 1987 none
Norman Proctor
dblp:85/938
0.0 11986 5 · 0 since 2021 1989 none
J. Daniel Halpern
dblp:83/5257
0.0 11986 2 · 0 since 2021 1987 none
Sam Owre
dblp:06/503
0.0 11986 17 · 2 since 2021 2023 none
page 1 of 1