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.
Theoretical computer science›Automated reasoning and model checking›model checking›symbolic model checking›SAT-based model checking topic 11 papers · 36 experts · broader topic added to organise its sub-topics
Experts on SAT-based model checking 36 · 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
Geguang Pu
dblp:33/1678
1.5 22025 114 · 42 since 2021 2026 verified
Ofer Strichman
dblp:s/OferStrichman
0.9 12025 83 · 7 since 2021 2025 verified
Yibo Dong 0001
dblp:289/8331-1
0.9 12025 5 · 5 since 2021 2025 verified
Alessandro Cimatti
dblp:13/5961
0.7 22023 219 · 61 since 2021 2026 verified
Yechuan Xia
dblp:317/0591
0.7 12023 4 · 4 since 2021 2026 none
Anna Becchi
dblp:210/2636
0.7 12023 14 · 8 since 2021 2026 verified
Alberto Griggio
dblp:19/3686
0.7 12023 81 · 34 since 2021 2026 verified
Vijay Ganesh 0001
dblp:g/VijayGanesh
0.4 12019 95 · 40 since 2021 2026 verified
Yakir Vizel
dblp:86/2578
0.4 12019 33 · 11 since 2021 2026 verified
Arie Gurfinkel
dblp:44/3532
0.4 12019 121 · 30 since 2021 2026 verified
Hari Govind V. K.
dblp:204/2535
0.4 12019 10 · 5 since 2021 2024 reported
Shaowei Cai 0001
dblp:45/8399
0.3 12025 129 · 66 since 2021 2026 verified
Lingfeng Zhu
dblp:33/10848
0.3 12025 8 · 3 since 2021 2025 conflict
Xindi Zhang 0001
dblp:253/7611-1
0.3 12025 21 · 19 since 2021 2026 verified
Joanne M. Atlee
dblp:a/JMAtlee
0.2 12015 49 · 5 since 2021 2024 verified
Baruch Sterin
dblp:67/5881
0.2 12015 5 · 0 since 2021 2016 none
Shoham Ben-David
dblp:46/3025
0.2 12015 25 · 0 since 2021 2016 none
Sandy Beidu
dblp:166/1063
0.2 12015 2 · 0 since 2021 2015 none
Cheng-Yin Wu
dblp:85/10660
0.2 12014 5 · 0 since 2021 2014 none
Chi-An Wu
dblp:77/5152
0.2 12014 18 · 4 since 2021 2024 corroborated
Chien-Yu Lai
dblp:68/7655
0.2 12014 4 · 0 since 2021 2014 none
Chung-Yang Huang
dblp:27/280
0.2 12014 45 · 5 since 2021 2026 corroborated
Aarti Gupta
dblp:18/2229
0.1 22005 156 · 32 since 2021 2026 verified
Edmund M. Clarke
dblp:c/EdmundMClarke
0.1 22007 203 · 0 since 2021 2017 none
Nishant Sinha 0001
dblp:07/201-1
0.1 12007 24 · 0 since 2021 2016 none
Sharad Malik
dblp:79/6934
0.1 12005 206 · 23 since 2021 2026 verified
C. Norris Ip
dblp:47/2168
0.1 12005 9 · 0 since 2021 2005 none
Daijue Tang
dblp:44/4136
0.1 12005 4 · 0 since 2021 2006 none
Chao Wang 0001
dblp:w/ChaoWang
0.0 12003 123 · 23 since 2021 2026 conflict
Zijiang Yang 0006
dblp:97/3485-6
0.0 12003 102 · 23 since 2021 2026 conflict
Hyeong-Ju Kang
dblp:72/2511
0.0 12003 9 · 1 since 2021 2023 reported
In-Cheol Park
dblp:47/4676
0.0 12003 106 · 14 since 2021 2026 verified
Malay K. Ganai
dblp:34/7032
0.0 12003 49 · 0 since 2021 2014 none
Pranav Ashar
dblp:18/2806
0.0 12003 54 · 0 since 2021 2016 none
Armin Biere
dblp:b/ArminBiere
0.0 11999 153 · 48 since 2021 2026 verified
Yunshan Zhu
dblp:70/2232
0.0 11999 15 · 0 since 2021 2003 none
page 1 of 1