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: SIGMOD, VLDB, ICDE, PODS, SIGKDD · junior 2+ first-author in 5y or senior 4+ papers in 5y · 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›theorem proving›proof generation topic 6 papers · 26 experts · broader topic added to organise its sub-topics
Experts on proof generation 26 · 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
Ulrike Sattler
dblp:s/UlrikeSattler
1.0 12026 95 · 7 since 2021 2026 verified
Jiaoyan Chen 0001
dblp:56/8110-1
1.0 12026 86 · 63 since 2021 2026 conflict
Z. Z. Ren
dblp:385/7593
0.9 12025 1 · 1 since 2021 2025 none
Z. F. Wu
dblp:385/7198
0.9 12025 1 · 1 since 2021 2025 none
Qiushi Du
dblp:366/3708
0.9 12025 2 · 2 since 2021 2025 unresolved
Huajian Xin
dblp:356/3551
0.9 12025 4 · 4 since 2021 2025 none
Wanjia Zhao
dblp:352/8879
0.9 12025 7 · 7 since 2021 2025 none
Zhibin Gou
dblp:315/9328
0.9 12025 7 · 7 since 2021 2025 unresolved
Zhihong Shao
dblp:247/5748
0.9 12025 10 · 9 since 2021 2025 conflict
Fuli Luo
dblp:220/4216
0.9 12025 29 · 12 since 2021 2025 conflict
Dejian Yang
dblp:197/1571
0.9 12025 8 · 4 since 2021 2025 none
Qihao Zhu
dblp:167/2272
0.9 12025 24 · 20 since 2021 2026 conflict
Chong Ruan
dblp:159/9956
0.9 12025 8 · 6 since 2021 2025 corroborated
Junxiao Song
dblp:140/7096
0.9 12025 5 · 2 since 2021 2025 corroborated
Danqi Chen 0001
dblp:87/7949
0.6 12022 73 · 58 since 2021 2025 conflict
Kaiyu Yang
dblp:177/9276
0.6 12022 16 · 11 since 2021 2026 conflict
Jia Deng 0001
dblp:07/6526-1
0.6 12022 95 · 35 since 2021 2025 conflict
Sumit Gulwani
dblp:g/SumitGulwani
0.2 12013 154 · 39 since 2021 2026 verified
Amey Karkare
dblp:93/511
0.2 12013 20 · 4 since 2021 2025 corroborated
Umair Z. Ahmed
dblp:18/11031
0.2 12013 10 · 2 since 2021 2025 conflict
Allen Van Gelder
dblp:g/AllenVanGelder
0.1 12011 58 · 1 since 2021 2023 none
Fahiem Bacchus
dblp:b/FahiemBacchus
0.1 12011 97 · 3 since 2021 2022 none
Florent de Dinechin
dblp:74/1204
0.1 12011 57 · 11 since 2021 2025 corroborated
Alexandra Goultiaeva
dblp:48/7137
0.1 12011 8 · 0 since 2021 2013 none
Guillaume Melquiond
dblp:20/5309
0.1 12011 31 · 10 since 2021 2026 verified
Christoph Quirin Lauter
dblp:16/4680
0.1 12011 20 · 3 since 2021 2023 none
page 1 of 1