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›model checking›state space exploration topic 27 papers · 66 experts · broader topic added to organise its sub-topics
Sub-topics 1 · with their number of papers; shaded topics divide further
Experts on state space exploration 66 · 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
Masahiro Jibiki
dblp:08/5895
0.0 12013 19 · 4 since 2021 2025 none
Rajeev Alur
dblp:a/RAlur
0.0 22000 244 · 28 since 2021 2025 verified
Lalita Jategaonkar Jagadeesan
dblp:j/LJJagadeesan
0.0 21998 25 · 3 since 2021 2025 none
Masami Hagiya
dblp:h/MasamiHagiya
0.0 12011 51 · 0 since 2021 2020 none
Mitsuharu Yamamoto
dblp:95/4312
0.0 12011 11 · 0 since 2021 2020 none
Watcharin Leungwattanakit
dblp:48/4755
0.0 12011 3 · 0 since 2021 2014 none
Yoshinori Tanabe
dblp:40/6989
0.0 12011 14 · 0 since 2021 2020 corroborated
Cyrille Artho
dblp:21/6330
0.0 12011 69 · 20 since 2021 2026 verified
Radu Grosu
dblp:94/5421
0.0 12000 112 · 34 since 2021 2026 corroborated
Michael McDougall
dblp:17/6749
0.0 12000 5 · 1 since 2021 2023 unresolved
Christopher Colby
dblp:64/204
0.0 11998 8 · 0 since 2021 2020 none
Robert S. Hanmer
dblp:48/2799
0.0 11998 4 · 0 since 2021 2019 none
Sriram K. Rajamani
dblp:r/SriramKRajamani
0.0 11997 92 · 3 since 2021 2023 verified
Shaz Qadeer
dblp:q/ShazQadeer
0.0 11997 106 · 6 since 2021 2026 none
Thomas A. Henzinger
dblp:h/ThomasAHenzinger
0.0 11997 383 · 69 since 2021 2026 verified
Robert K. Brayton
dblp:b/RobertKBrayton
0.0 11997 270 · 3 since 2021 2025 verified
James C. Corbett
dblp:42/5495
0.0 11994 27 · 0 since 2021 2013 none
Michal Young
dblp:07/2946
0.0 11994 32 · 2 since 2021 2023 none
Richard Gerber 0001
dblp:27/5414
0.0 12000 22 · 0 since 2021 2000 none
Christopher League
dblp:25/1813
0.0 12000 8 · 0 since 2021 2007 verified
Tevfik Bultan
dblp:07/3368
0.0 12000 124 · 13 since 2021 2025 verified
Sharad Malik
dblp:79/6934
0.0 11997 206 · 23 since 2021 2026 verified
Pranav Ashar
dblp:18/2806
0.0 11997 54 · 0 since 2021 2016 none
Aarti Gupta
dblp:18/2229
0.0 11997 156 · 32 since 2021 2026 verified
Mohamed G. Gouda
dblp:g/MohamedGGouda
0.0 11983 163 · 0 since 2021 2017 none
Yao-Tin Yu
dblp:80/4153
0.0 11983 7 · 0 since 2021 1987 none
← Prev page 2 of 2