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.
Experts on bounded model checking 167 · 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
Lucas C. Cordeiro
dblp:42/4311
5.5 142024 81 · 35 since 2021 2025 verified
Bernd Fischer 0002
dblp:27/3809-2
2.7 102022 83 · 12 since 2021 2026 conflict
Gennaro Parlato
dblp:11/1029
2.0 62022 55 · 8 since 2021 2026 verified
Salvatore La Torre
dblp:33/5041
1.9 52022 71 · 4 since 2021 2026 verified
Rafael Menezes
dblp:217/4869
1.9 32024 13 · 10 since 2021 2025 verified
Eddie Batista de Lima Filho
dblp:25/6797
1.8 32024 19 · 5 since 2021 2024 conflict
Peter Schrammel
dblp:23/8898
1.7 32024 41 · 6 since 2021 2026 verified
Omar Inverso
dblp:125/8727
1.5 52022 36 · 14 since 2021 2024 verified
Giles Reger
dblp:118/0099
1.3 22024 42 · 14 since 2021 2025 verified
Mikhail R. Gadelha
dblp:127/1726
1.2 32022 15 · 10 since 2021 2025 verified
Daniel Kroening
dblp:k/DanielKroening
1.0 52018 200 · 22 since 2021 2026 verified
Zhihang Sun
dblp:295/3595
1.0 12026 12 · 12 since 2021 2026 conflict
Zhiheng Cai
dblp:226/7836
1.0 12026 2 · 2 since 2021 2026 none
Fei He 0001
dblp:13/6794-1
1.0 12026 66 · 26 since 2021 2026 conflict
Felipe R. Monteiro
dblp:185/1029
1.0 32018 15 · 3 since 2021 2022 verified
Roland Meyer 0001
dblp:86/3051
0.8 22023 65 · 20 since 2021 2026 conflict
Hernán Ponce de León
dblp:57/11444
0.8 22023 22 · 7 since 2021 2026 verified
Thomas Haas 0001
dblp:115/7079-1
0.8 22023 7 · 6 since 2021 2026 verified
Akash Lal
dblp:27/1008
0.8 22022 62 · 18 since 2021 2026 corroborated
Ermenegildo Tomasco
dblp:143/2711
0.8 22022 10 · 2 since 2021 2023 corroborated
Jingling Xue
dblp:x/JinglingXue
0.8 12024 275 · 89 since 2021 2026 verified
Hamid Bagheri
dblp:88/2247
0.8 12024 63 · 24 since 2021 2026 conflict
Hengfeng Wei
dblp:80/11360
0.8 12024 26 · 16 since 2021 2025 corroborated
Tong Wu 0028
dblp:75/5056-28
0.8 12024 6 · 6 since 2021 2025 verified
Lin Huang 0005
dblp:74/2101-5
0.8 12024 13 · 6 since 2021 2025 conflict
Xiaoxing Ma
dblp:67/3058
0.8 12024 162 · 56 since 2021 2026 verified
Tao Wei 0002
dblp:64/5099-2
0.8 12024 67 · 31 since 2021 2026 conflict
Guangyuan Wu
dblp:53/3008
0.8 12024 6 · 3 since 2021 2026 conflict
Weining Cao
dblp:393/9603
0.8 12024 1 · 1 since 2021 2024 reported
Muhammad A. A. Pirzada
dblp:393/9248
0.8 12024 1 · 1 since 2021 2024 reported
Zaiyu Cheng
dblp:386/5272
0.8 12024 1 · 1 since 2021 2024 reported
Taolue Chen 0001
dblp:28/4743
0.8 12024 132 · 62 since 2021 2026 verified
Clay Stevens
dblp:26/7710
0.8 12024 12 · 8 since 2021 2025 verified
Yuan Zi
dblp:251/3827
0.8 12024 6 · 4 since 2021 2024 corroborated
Yuan Yao 0001
dblp:25/4120-1
0.8 12024 85 · 42 since 2021 2026 conflict
Bruno Farias 0001
dblp:237/8433-1
0.8 12024 3 · 3 since 2021 2024 verified
Ahmed Bhayat
dblp:231/8207
0.8 12024 10 · 9 since 2021 2025 verified
Norbert Tihanyi
dblp:159/1593
0.8 12024 13 · 12 since 2021 2025 verified
Youcheng Sun
dblp:126/5212
0.8 12024 46 · 27 since 2021 2026 verified
René Pascasl Maseli
dblp:205/5236
0.7 12023 1 · 1 since 2021 2023 none
page 1 of 5 Next →