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›formal modeling topic 11 papers · 35 experts · broader topic added to organise its sub-topics
Sub-topics 3 · with their number of papers; shaded topics divide further
Experts on formal modeling 35 · 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
Elias Eid
dblp:250/1274
0.7 12023 1 · 1 since 2021 2023 unresolved
Nancy A. Day
dblp:22/6670
0.7 12023 33 · 4 since 2021 2026 corroborated
Bin Fang 0004
dblp:94/4033-4
0.3 12018 5 · 0 since 2021 2018 conflict
Lei Qiao 0002
dblp:54/3557-2
0.3 12018 43 · 34 since 2021 2026 conflict
Geguang Pu
dblp:33/1678
0.3 12018 114 · 42 since 2021 2026 verified
Mihaela Sighireanu
dblp:27/1531
0.3 12018 40 · 7 since 2021 2026 verified
Jean-Raymond Abrial
dblp:16/756
0.3 12018 26 · 1 since 2021 2025 none
Mengfei Yang
dblp:11/3418
0.3 12018 29 · 18 since 2021 2026 corroborated
Zining Cao
dblp:44/832
0.2 12015 29 · 9 since 2021 2026 corroborated
Yi Zhuang 0002
dblp:181/2745-2
0.2 12015 32 · 7 since 2021 2026 verified
Xiangying Kong
dblp:160/1439
0.2 12015 2 · 1 since 2021 2025 none
Siru Ni
dblp:156/9678
0.2 12015 3 · 0 since 2021 2016 none
Alan Baker
dblp:97/7133
0.2 12023 3 · 2 since 2021 2023 corroborated
David Neto
dblp:36/2228
0.2 12023 7 · 3 since 2021 2023 corroborated
Vasileios Klimis
dblp:263/6824
0.2 12023 7 · 5 since 2021 2026 corroborated
John Wickerson
dblp:21/7915
0.2 12023 68 · 36 since 2021 2026 verified
Jack Clark
dblp:127/1112
0.2 12023 4 · 3 since 2021 2024 corroborated
Alastair F. Donaldson
dblp:11/5933
0.2 12023 91 · 33 since 2021 2026 verified
Michael J. Butler
dblp:b/MichaelJButler
0.1 12006 84 · 13 since 2021 2026 verified
Colin F. Snook
dblp:78/613
0.1 12006 30 · 7 since 2021 2025 verified
Sol M. Shatz
dblp:s/SolMShatz
0.0 12003 49 · 0 since 2021 2012 none
Haiping Xu
dblp:88/4810
0.0 12003 42 · 10 since 2021 2026 conflict
Marsha Chechik
dblp:c/MarshaChechik
0.0 12011 187 · 46 since 2021 2026 verified
Arie Gurfinkel
dblp:44/3532
0.0 12011 121 · 30 since 2021 2026 verified
Ou Wei
dblp:06/1562
0.0 12011 16 · 4 since 2021 2025 corroborated
Michael Leuschel
dblp:l/MLeuschel
0.0 12009 117 · 27 since 2021 2026 verified
Daniel Plagge
dblp:56/3702
0.0 12009 8 · 0 since 2021 2016 none
Jérôme Falampin
dblp:39/2996
0.0 12009 2 · 0 since 2021 2011 none
Fabian Fritz
dblp:07/7505
0.0 12009 4 · 1 since 2021 2023 none
Dean Kuo
dblp:88/1727
0.0 11996 12 · 0 since 2021 2007 none
Kang G. Shin
dblp:s/KangGShin
0.0 12001 681 · 73 since 2021 2026 conflict
Shige Wang
dblp:43/1697
0.0 12001 35 · 0 since 2021 2020 conflict
Orest Storoshchuk
dblp:25/1408
0.0 12001 1 · 0 since 2021 2001 none
Eric G. Manning
dblp:m/EricGManning
0.0 11976 30 · 0 since 2021 2007 corroborated
Mohamed G. Gouda
dblp:g/MohamedGGouda
0.0 11976 163 · 0 since 2021 2017 none
page 1 of 1