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›neural network verification topic 31 papers · 104 experts
Sub-topics 2 · with their number of papers; shaded topics divide further
Experts on neural network verification 104 · 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
Guy Katz
dblp:23/10321
1.7 32026 74 · 51 since 2021 2026 conflict
Marco Sälzer
dblp:275/3108
1.7 22026 13 · 13 since 2021 2026 corroborated
Martin Lange 0001
dblp:181/2007-1
1.7 22026 71 · 23 since 2021 2026 verified
Clark W. Barrett
dblp:b/ClarkWBarrett
1.4 32024 173 · 95 since 2021 2026 verified
Haoze Wu 0001
dblp:195/8725-1
1.1 22024 27 · 22 since 2021 2026 verified
Martin T. Vechev
dblp:93/2189
1.1 22022 189 · 83 since 2021 2025 verified
Gagandeep Singh 0001
dblp:64/3747-1
1.1 22022 46 · 35 since 2021 2026 conflict
Xuyang Ding
dblp:84/4133
1.0 12026 11 · 7 since 2021 2026 corroborated
Han Wang 0044
dblp:67/1771-44
1.0 12026 5 · 5 since 2021 2026 conflict
Ashutosh Gupta 0001
dblp:65/3925-1
1.0 12026 32 · 11 since 2021 2026 conflict
Blaise Genest
dblp:59/6859
1.0 12026 58 · 9 since 2021 2026 verified
Ying Xie 0008
dblp:51/6470-8
1.0 12026 6 · 6 since 2021 2026 conflict
Yakun Sheng
dblp:441/9275
1.0 12026 1 · 1 since 2021 2026 unresolved
Ann Roy
dblp:437/3087
1.0 12026 1 · 1 since 2021 2026 none
Maya Swisa
dblp:424/5218
1.0 12026 1 · 1 since 2021 2026 none
Andrea Gimelli
dblp:381/5203
1.0 12026 2 · 2 since 2021 2026 corroborated
Eric Alsmann
dblp:300/4635
1.0 12026 6 · 6 since 2021 2026 corroborated
S. Akshay 0001
dblp:28/6534
1.0 12026 73 · 35 since 2021 2026 verified
Allen Antony
dblp:257/1569
1.0 12026 3 · 2 since 2021 2026 none
Mohammad Afzal 0001
dblp:256/6193-1
1.0 12026 5 · 3 since 2021 2026 verified
Hanjiang Hu
dblp:249/5764
1.0 12026 17 · 15 since 2021 2026 verified
Tianhao Wei
dblp:222/5386
1.0 12026 12 · 9 since 2021 2026 conflict
Matthew L. Daggitt
dblp:222/4171
1.0 12026 16 · 12 since 2021 2026 verified
Changliu Liu
dblp:166/3563
1.0 12026 46 · 35 since 2021 2026 corroborated
Shengbo Eben Li
dblp:148/6962
1.0 12026 110 · 84 since 2021 2026 verified
Florian Bruse
dblp:130/3850
1.0 12026 21 · 18 since 2021 2026 verified
Yedi Zhang
dblp:230/8027
1.0 22024 19 · 18 since 2021 2026 conflict
Michael Wand 0002
dblp:85/72-2
0.9 12025 31 · 5 since 2021 2026 verified
M. Pawan Kumar
dblp:45/2527
0.9 22020 66 · 9 since 2021 2025 none
Grigory Fedyukovich
dblp:43/8810
0.9 12025 64 · 26 since 2021 2026 corroborated
Wietze Koops
dblp:354/0648
0.9 12025 7 · 7 since 2021 2026 verified
Xiangru Zhong
dblp:347/8942
0.9 12025 2 · 2 since 2021 2025 none
Faezeh Labbaf
dblp:345/7283
0.9 12025 4 · 4 since 2021 2026 verified
Nils Jansen 0001
dblp:32/8421-1
0.9 12025 67 · 43 since 2021 2026 verified
Hong-Ming Chiu
dblp:282/4540
0.9 12025 4 · 4 since 2021 2025 none
Tomás Kolárik
dblp:267/9341
0.9 12025 6 · 6 since 2021 2026 verified
Thom Badings
dblp:263/6527
0.9 12025 11 · 11 since 2021 2026 verified
Jingyue Lu
dblp:239/8862
0.9 22020 14 · 11 since 2021 2025 conflict
Martin Blicha
dblp:228/7239
0.9 12025 23 · 17 since 2021 2026 verified
Richard Y. Zhang 0001
dblp:169/9027
0.9 12025 14 · 7 since 2021 2025 verified
page 1 of 3 Next →