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.
Computer architecture, parallel and distributed computing, and storage systems›Electronic design automation›model checking›bounded model checking topic 24 papers · 78 experts · broader topic added to organise its sub-topics
Experts on bounded model checking 78 · 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
Mark Tehranipoor
dblp:t/MohammadTehranipoor
0.8 12024 267 · 74 since 2021 2026 conflict
Kimia Zamiri Azar
dblp:212/9154
0.8 12024 35 · 27 since 2021 2026 corroborated
Hadi Mardani Kamali
dblp:182/4036
0.8 12024 44 · 28 since 2021 2026 conflict
Farimah Farahmandi
dblp:137/9159
0.8 12024 91 · 73 since 2021 2026 verified
Jason Cong
dblp:c/JasonCong
0.4 12020 523 · 91 since 2021 2026 verified
Clark W. Barrett
dblp:b/ClarkWBarrett
0.4 12020 173 · 95 since 2021 2026 verified
Florian Lonsing
dblp:85/828
0.4 12020 33 · 6 since 2021 2026 verified
Zhiru Zhang
dblp:81/4227
0.4 12020 131 · 59 since 2021 2026 corroborated
Deming Chen
dblp:37/1234
0.4 12020 234 · 73 since 2021 2026 conflict
Subhasish Mitra
dblp:30/4561
0.4 12020 178 · 13 since 2021 2025 conflict
Xiaofan Zhang 0001
dblp:28/9804-1
0.4 12020 31 · 12 since 2021 2025 conflict
Peng Wei 0004
dblp:24/4134-4
0.4 12020 16 · 2 since 2021 2021 verified
Saranyu Chattopadhyay
dblp:226/4567
0.4 12020 8 · 5 since 2021 2023 verified
Maxwell Strange
dblp:202/5700
0.4 12020 10 · 6 since 2021 2024 corroborated
Priyanka Raina
dblp:127/7770
0.4 12020 26 · 18 since 2021 2026 corroborated
Eshan Singh
dblp:05/9680
0.4 12020 10 · 1 since 2021 2023 corroborated
Daniel Kroening
dblp:k/DanielKroening
0.3 22017 200 · 22 since 2021 2026 verified
Mitra Purandare
dblp:38/1150
0.3 12017 15 · 3 since 2021 2026 corroborated
Raphael Polig
dblp:132/8197
0.3 12017 18 · 2 since 2021 2024 none
Rajdeep Mukherjee
dblp:124/3803
0.3 12017 25 · 16 since 2021 2025 conflict
Jacob A. Abraham
dblp:a/JacobAAbraham
0.2 12015 315 · 1 since 2021 2021 verified
Yakir Vizel
dblp:86/2578
0.2 12015 33 · 11 since 2021 2026 verified
Sharad Malik
dblp:79/6934
0.2 12015 206 · 23 since 2021 2026 verified
Daniel G. Saab
dblp:44/5557
0.2 12015 61 · 0 since 2021 2018 none
Aswin Krishna
dblp:158/8098
0.2 12015 1 · 0 since 2021 2015 unresolved
Georg Weissenbacher
dblp:15/3636
0.2 12015 52 · 14 since 2021 2026 verified
Gregory Ford
dblp:127/9044
0.2 12015 2 · 0 since 2021 2015 none
Malay K. Ganai
dblp:34/7032
0.2 52008 49 · 0 since 2021 2014 none
Rolf Drechsler
dblp:d/RolfDrechsler
0.2 22011 559 · 172 since 2021 2026 verified
Aarti Gupta
dblp:18/2229
0.2 42008 156 · 32 since 2021 2026 verified
Yen-Sheng Ho
dblp:56/11471
0.1 12012 3 · 0 since 2021 2017 none
Chun-Nan Chou
dblp:33/5910
0.1 12012 9 · 0 since 2021 2019 reported
Chung-Yang Huang
dblp:27/280
0.1 12012 45 · 5 since 2021 2026 corroborated
Chiao Hsieh
dblp:03/11470
0.1 12012 12 · 5 since 2021 2025 verified
André Sülflow
dblp:68/3140
0.1 12011 15 · 0 since 2021 2015 none
Görschwin Fey
dblp:20/4776
0.1 12011 109 · 28 since 2021 2026 verified
Stefan Frehse
dblp:06/7356
0.1 12011 12 · 0 since 2021 2019 none
Andreas G. Veneris
dblp:v/AndreasGVeneris
0.1 12010 108 · 16 since 2021 2025 verified
Prabhat Mishra 0001
dblp:m/PrabhatMishra
0.1 12010 136 · 44 since 2021 2026 verified
Mingsong Chen 0001
dblp:95/573-1
0.1 12010 180 · 113 since 2021 2026 conflict
page 1 of 2 Next →