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.
Sub-topics 3 · with their number of papers; shaded topics divide further
Experts on theorem proving 188 · 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
Hai H. Wang
dblp:45/1539
0.0 12004 47 · 4 since 2021 2025 conflict
Harald Ruess
dblp:28/800
0.0 12004 41 · 4 since 2021 2025 verified
Murali Rangarajan
dblp:27/4451
0.0 12004 6 · 0 since 2021 2017 corroborated
Yuan-Fang Li
dblp:20/2537
0.0 12004 129 · 69 since 2021 2026 verified
Adam Chlipala
dblp:52/796
0.0 12011 71 · 28 since 2021 2026 verified
Philip A. Wilsey
dblp:81/6241
0.0 12002 61 · 10 since 2021 2024 verified
Perry Alexander
dblp:76/6437
0.0 12002 23 · 3 since 2021 2024 corroborated
Harold W. Carter
dblp:67/2318
0.0 12002 8 · 0 since 2021 2009 none
Peter Frey
dblp:39/4965
0.0 12002 3 · 0 since 2021 2010 none
Radharamanan Radhakrishnan
dblp:17/5685
0.0 12002 3 · 0 since 2021 2002 none
John M. Rushby
dblp:02/3378
0.0 22003 38 · 0 since 2021 2014 none
Laura A. Campbell
dblp:98/2260
0.0 12001 7 · 0 since 2021 2012 corroborated
Yves Bertot
dblp:60/2405
0.0 12001 18 · 1 since 2021 2025 corroborated
Sam Owre
dblp:06/503
0.0 31998 17 · 2 since 2021 2023 none
Richard A. Kemmerer
dblp:k/RAKemmerer
0.0 22000 84 · 0 since 2021 2015 none
Tom Ridge
dblp:r/TomRidge
0.0 12009 12 · 0 since 2021 2019 none
Paul Z. Kolano
dblp:47/1304
0.0 12000 11 · 0 since 2021 2014 none
J Strother Moore
dblp:m/JStrotherMoore
0.0 31998 46 · 1 since 2021 2025 verified
Matthew Might
dblp:57/2128
0.0 12007 42 · 0 since 2021 2020 corroborated
Bart Jacobs 0001
dblp:j/BartJacobs1
0.0 11998 82 · 12 since 2021 2025 conflict
Marieke Huisman
dblp:76/6612
0.0 11998 112 · 36 since 2021 2026 verified
Joachim van den Berg
dblp:68/308
0.0 11998 5 · 0 since 2021 2001 none
Matt Kaufmann
dblp:63/5796
0.0 11998 36 · 0 since 2021 2020 corroborated
Boutheina Chetali
dblp:20/4219
0.0 11998 7 · 0 since 2021 2013 none
Thomas W. Lynch
dblp:14/6383
0.0 11998 4 · 0 since 2021 1998 conflict
Martijn van Berkum
dblp:13/186
0.0 11998 2 · 0 since 2021 2004 none
Martin C. Rinard
dblp:r/MartinCRinard
0.0 12006 180 · 21 since 2021 2026 verified
Shengchao Qin
dblp:q/ShengchaoQin
0.0 12006 143 · 42 since 2021 2026 verified
Patrick Lam 0001
dblp:l/PatrickLam
0.0 12006 35 · 6 since 2021 2025 verified
Viktor Kuncak
dblp:k/ViktorKuncak
0.0 12006 100 · 21 since 2021 2026 verified
Karen Zee
dblp:74/3817
0.0 12006 8 · 0 since 2021 2009 none
Ping Hao
dblp:64/5
0.0 12006 9 · 0 since 2021 2008 unresolved
Xian Zhang 0007
dblp:56/5624-7
0.0 12006 10 · 0 since 2021 2014 conflict
S. C. De Sarkar
dblp:54/2894
0.0 31989 24 · 0 since 2021 1996 none
Dipankar Sarkar 0001
dblp:32/6411-1
0.0 31989 28 · 1 since 2021 2022 corroborated
Alma L. Juarez Dominguez
dblp:57/320
0.0 12005 3 · 0 since 2021 2008 none
Nancy A. Day
dblp:22/6670
0.0 12005 33 · 4 since 2021 2026 corroborated
Ashish Tiwari 0001
dblp:t/AshishTiwari
0.0 12003 91 · 17 since 2021 2025 conflict
Hardi Hungar
dblp:25/6675
0.0 11993 26 · 3 since 2021 2022 none
R. M. Tol
dblp:99/3561
0.0 11992 1 · 0 since 2021 1992 none
← Prev page 4 of 5 Next →