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: SIGIR, WWW, SIGKDD, WSDM, TOIS, ACL +2 · junior 2+ first-author in 5y or senior 5+ papers in 5y · 7,017 experts meet it · 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›proof automation topic 9 papers · 34 experts · broader topic added to organise its sub-topics
Experts on proof automation 34 · 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
Rudi Schneider
dblp:412/5680
1.0 12026 2 · 2 since 2021 2026 reported
Marcus Rossel
dblp:377/7507
1.0 12026 2 · 2 since 2021 2026 corroborated
Michel Steuwer
dblp:35/10101
1.0 12026 36 · 22 since 2021 2026 verified
Andres Goens
dblp:144/4631
1.0 12026 23 · 12 since 2021 2026 verified
Thomas Koehler 0005
dblp:09/1281-5
1.0 12026 5 · 4 since 2021 2026 verified
Monaldo Mastrolilli
dblp:m/MonaldoMastrolilli
0.9 12025 54 · 8 since 2021 2026 verified
Noah D. Goodman
dblp:96/1216
0.9 12025 160 · 60 since 2021 2025 corroborated
Isil Dillig
dblp:85/3688
0.9 12025 118 · 53 since 2021 2026 verified
Alex Bortolotti
dblp:405/5569
0.9 12025 2 · 2 since 2021 2026 reported
Yutong Xin
dblp:368/2942
0.9 12025 4 · 4 since 2021 2025 reported
Jimmy Xin
dblp:341/5979
0.9 12025 2 · 2 since 2021 2025 reported
Luis Felipe Vargas
dblp:323/2332
0.9 12025 2 · 2 since 2021 2026 reported
Qiaochu Chen
dblp:247/1177
0.9 12025 11 · 8 since 2021 2025 conflict
Gabriel Poesia
dblp:150/2695
0.9 12025 14 · 11 since 2021 2025 corroborated
Minghai Lu
dblp:351/8679
0.8 12024 5 · 5 since 2021 2025 corroborated
Tianyi Zhang 0001
dblp:17/322-1
0.8 12024 51 · 35 since 2021 2025 conflict
Benjamin Delaware
dblp:08/3478
0.8 12024 25 · 16 since 2021 2026 corroborated
Premkumar T. Devanbu
dblp:d/PremkumarTDevanbu
0.3 12018 129 · 21 since 2021 2026 conflict
Mohammad Amin Alipour
dblp:36/3317
0.3 12018 26 · 8 since 2021 2025 corroborated
Vincent J. Hellendoorn
dblp:164/5751
0.3 12018 30 · 19 since 2021 2026 verified
Jay Ligatti
dblp:l/JayLigatti
0.3 12017 25 · 2 since 2021 2024 none
Hao Zheng 0001
dblp:31/6916-1
0.3 12017 23 · 4 since 2021 2025 conflict
Hernan M. Palombo
dblp:207/6567
0.3 12017 2 · 0 since 2021 2017 none
Bryan Parno
dblp:49/6324
0.3 12025 78 · 37 since 2021 2026 verified
Nuda Zhang
dblp:266/7674
0.3 12025 5 · 4 since 2021 2025 reported
Manos Kapritsos
dblp:23/6695
0.3 12025 24 · 10 since 2021 2026 verified
Tej Chajed
dblp:141/9176
0.3 12025 21 · 11 since 2021 2025 corroborated
Koji Mineshima
dblp:87/3233
0.1 12019 31 · 12 since 2021 2026 corroborated
Daisuke Bekki
dblp:52/46
0.1 12019 15 · 3 since 2021 2023 corroborated
Masashi Yoshikawa
dblp:188/9003
0.1 12019 7 · 2 since 2021 2023 unresolved
Hiroshi Noji
dblp:136/9156
0.1 12019 19 · 3 since 2021 2021 corroborated
Lawrence C. Paulson
dblp:p/LCPaulson
0.1 12006 81 · 13 since 2021 2026 verified
Jia Meng 0002
dblp:50/3810-2
0.1 12006 3 · 0 since 2021 2008 none
Claire Quigley
dblp:39/5517
0.1 12006 3 · 0 since 2021 2006 none
page 1 of 1