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.
Software engineering, system software, and programming languages›Program verification›refinement›specification refinement topic 10 papers · 28 experts · broader topic added to organise its sub-topics
Experts on specification refinement 28 · 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
Adam Chlipala
dblp:52/796
0.2 12015 71 · 28 since 2021 2026 verified
Clément Pit-Claudel
dblp:155/8144
0.2 12015 22 · 15 since 2021 2026 verified
Jason Gross
dblp:140/7502
0.2 12015 12 · 6 since 2021 2025 corroborated
Benjamin Delaware
dblp:08/3478
0.2 12015 25 · 16 since 2021 2026 corroborated
Shengchao Qin
dblp:q/ShengchaoQin
0.1 12011 143 · 42 since 2021 2026 verified
Wei-Ngan Chin
dblp:c/WeiNganChin
0.1 12011 101 · 10 since 2021 2025 corroborated
Guanhua He
dblp:85/5460
0.1 12011 20 · 3 since 2021 2024 corroborated
Brahim Hnich
dblp:66/5390
0.1 12011 61 · 18 since 2021 2026 corroborated
Robert Eschbach
dblp:56/3022
0.1 12011 12 · 0 since 2021 2019 corroborated
Alan M. Frisch
dblp:51/6077
0.1 12011 39 · 2 since 2021 2023 verified
Muzammil Shahbaz
dblp:43/4487
0.1 12011 8 · 0 since 2021 2015 corroborated
K. C. Shashidhar
dblp:36/3876
0.1 12011 11 · 0 since 2021 2014 corroborated
Özgür Akgün
dblp:35/9923
0.1 12011 36 · 14 since 2021 2026 verified
Ian Miguel
dblp:17/2612
0.1 12011 72 · 14 since 2021 2026 verified
Christopher Jefferson
dblp:03/5951
0.1 12011 52 · 12 since 2021 2026 verified
Chenguang Luo
dblp:01/133
0.1 12011 12 · 0 since 2021 2020 none
Subhajit Roy 0001
dblp:95/621
0.1 12017 61 · 33 since 2021 2026 conflict
Sahil Verma 0003
dblp:204/3600-3
0.1 12017 7 · 5 since 2021 2025 conflict
Savi Maharaj
dblp:83/6690
0.0 11997 8 · 0 since 2021 2019 corroborated
Juan Bicarregui
dblp:47/4549
0.0 11997 15 · 0 since 2021 2010 verified
William E. Ball
dblp:99/1240
0.0 21993 7 · 0 since 2021 1993 none
Gruia-Catalin Roman
dblp:86/3458
0.0 21993 104 · 1 since 2021 2026 none
Rose F. Gamble
dblp:25/2193
0.0 21993 44 · 2 since 2021 2025 none
Huimin Lin
dblp:49/1212
0.0 11993 42 · 1 since 2021 2026 corroborated
Yoneharu Fujita
dblp:96/6556
0.0 11991 5 · 0 since 2021 2002 none
Tadaaki Tani
dblp:64/6250
0.0 11991 3 · 0 since 2021 1991 none
Shinobu Takamatsu
dblp:59/655
0.0 11991 12 · 0 since 2021 1996 none
Fujio Nishida
dblp:17/1034
0.0 11991 13 · 0 since 2021 1991 none
page 1 of 1