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›theorem proving›interactive theorem proving topic 88 papers · 224 experts
Sub-topics 3 · with their number of papers; shaded topics divide further
Experts on interactive theorem proving 224 · 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
Mohammad Abdulaziz
dblp:159/2755
3.5 52025 22 · 12 since 2021 2026 verified
Andrei Popescu 0001
dblp:89/2346-1
1.8 52025 56 · 15 since 2021 2026 conflict
Michel Steuwer
dblp:35/10101
1.8 22026 36 · 22 since 2021 2026 verified
Andres Goens
dblp:144/4631
1.8 22026 23 · 12 since 2021 2026 verified
Thomas Koehler 0005
dblp:09/1281-5
1.8 22026 5 · 4 since 2021 2026 verified
Donnacha Oisín Kidney
dblp:300/6894
1.6 22025 5 · 5 since 2021 2026 verified
Nicolas Wu
dblp:23/7856
1.6 22025 47 · 32 since 2021 2026 verified
Axel Ljungström
dblp:312/2359
1.5 22025 9 · 9 since 2021 2026 verified
Maximilian Schäffeler
dblp:311/5396
1.5 22025 4 · 4 since 2021 2025 corroborated
Todd D. Millstein
dblp:93/4679
1.4 22025 90 · 18 since 2021 2026 verified
Aishwarya Sivaraman
dblp:24/5026
1.4 22025 6 · 2 since 2021 2025 corroborated
Christian Walder
dblp:35/317
1.3 22024 21 · 12 since 2021 2025 conflict
Amir Dezfouli
dblp:13/7492
1.3 22024 23 · 9 since 2021 2026 corroborated
Michael Norrish
dblp:10/3457
1.3 22024 56 · 15 since 2021 2025 verified
Jeremy Avigad
dblp:60/1535
1.1 22025 51 · 16 since 2021 2026 conflict
Chung-Kil Hur
dblp:75/3287
1.0 12026 41 · 16 since 2021 2026 verified
Gireeja Ranade
dblp:60/11151
1.0 12026 40 · 17 since 2021 2026 corroborated
Malte Jackisch
dblp:441/9724
1.0 12026 1 · 1 since 2021 2026 none
Rudi Schneider
dblp:412/5680
1.0 12026 2 · 2 since 2021 2026 reported
Rayna Bhattacharyya
dblp:409/9947
1.0 12026 1 · 1 since 2021 2026 none
Niels Voss
dblp:409/8821
1.0 12026 1 · 1 since 2021 2026 none
Arnav Mehta
dblp:398/6311
1.0 12026 2 · 2 since 2021 2026 unresolved
Marcus Rossel
dblp:377/7507
1.0 12026 2 · 2 since 2021 2026 corroborated
Manooshree Patel
dblp:349/0225
1.0 12026 4 · 4 since 2021 2026 corroborated
Andrei Aleksandrov
dblp:338/9623
1.0 12026 6 · 6 since 2021 2026 reported
Zaiwen Wen
dblp:26/8184
1.0 12026 23 · 19 since 2021 2026 corroborated
Chenyi Li 0001
dblp:233/1727-1
1.0 12026 2 · 2 since 2021 2026 verified
Yeonwoo Nam
dblp:218/3703
1.0 12026 2 · 1 since 2021 2026 reported
Narges Norouzi
dblp:157/9107
1.0 12026 60 · 55 since 2021 2026 conflict
Kim Völlinger
dblp:139/8905
1.0 12026 8 · 3 since 2021 2026 corroborated
Thomas Lu
dblp:11/5027
1.0 12026 6 · 4 since 2021 2026 reported
Jason Rute
dblp:141/9655
0.9 22024 5 · 2 since 2021 2024 corroborated
Jasmin Blanchette
dblp:52/6913
0.9 42019 71 · 27 since 2021 2026 verified
Bohua Zhan
dblp:31/11002
0.9 22024 43 · 31 since 2021 2026 corroborated
Benjamin C. Pierce
dblp:p/BenjaminCPierce
0.9 12025 135 · 19 since 2021 2026 verified
Noah D. Goodman
dblp:96/1216
0.9 12025 160 · 60 since 2021 2025 corroborated
Yue Fang 0001
dblp:92/4710-1
0.9 12025 3 · 3 since 2021 2026 conflict
Isil Dillig
dblp:85/3688
0.9 12025 118 · 53 since 2021 2026 verified
Furu Wei
dblp:72/5870
0.9 12025 268 · 153 since 2021 2026 corroborated
Qi Zhang 0066
dblp:52/323-66
0.9 12025 61 · 53 since 2021 2026 conflict
page 1 of 6 Next →