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.
Artificial intelligence›Knowledge, reasoning and agents›Knowledge representation and reasoning›automated reasoning and model checking topic 16 papers · 36 experts
Experts on automated reasoning and model checking 36 · 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
Louise A. Dennis
dblp:58/1750
1.3 22024 42 · 21 since 2021 2026 verified
Tanmay Ambadkar
dblp:332/6387
1.0 12026 2 · 2 since 2021 2026 corroborated
Gabriele Röger
dblp:92/2559
0.9 12025 25 · 6 since 2021 2025 verified
Jakob Nordström
dblp:88/3143
0.9 12025 81 · 30 since 2021 2026 verified
Ping Wei 0001
dblp:49/6362-1
0.9 12025 72 · 47 since 2021 2026 conflict
Simon Dold 0001
dblp:326/2080-1
0.9 12025 4 · 4 since 2021 2026 corroborated
Nan Duan 0001
dblp:30/8160-1
0.9 12025 146 · 79 since 2021 2026 verified
Shaonan Wu
dblp:257/7437
0.9 12025 1 · 1 since 2021 2025 none
Tanja Schindler
dblp:211/7556
0.9 12025 9 · 5 since 2021 2025 verified
Malte Helmert
dblp:21/4581
0.9 12025 73 · 15 since 2021 2025 verified
Yeyun Gong
dblp:06/10400
0.9 12025 80 · 50 since 2021 2026 corroborated
listed André Freitas
dblp:47/9409
0.8 12024 98 · 59 since 2021 2026 conflict
Marco Valentino
dblp:212/3533
0.8 12024 25 · 23 since 2021 2026 corroborated
Gerhard Lakemeyer
dblp:l/GerhardLakemeyer
0.6 22021 131 · 27 since 2021 2026 verified
Michael Fisher 0001
dblp:f/MichaelFisher
0.5 12021 90 · 18 since 2021 2026 verified
Jimmy Ba
dblp:78/9117
0.5 12021 52 · 23 since 2021 2024 corroborated
Daxin Liu 0002
dblp:56/4777-2
0.5 12021 14 · 11 since 2021 2026 conflict
Martin Mose Bentzen
dblp:45/8414
0.5 12021 4 · 1 since 2021 2021 corroborated
Albert Q. Jiang
dblp:321/1049
0.5 12021 9 · 9 since 2021 2024 none
Roger B. Grosse
dblp:26/7058
0.5 12021 70 · 30 since 2021 2025 none
Felix Lindner 0001
dblp:25/2707-1
0.5 12021 13 · 2 since 2021 2022 verified
Yuhuai Wu
dblp:176/5447
0.5 12021 36 · 25 since 2021 2024 none
Joseph Corneli
dblp:99/8308
0.3 12017 12 · 0 since 2021 2017 corroborated
Katarzyna Budzynska
dblp:89/6999
0.3 12017 32 · 6 since 2021 2026 conflict
John Lawrence
dblp:77/5317
0.3 12017 43 · 12 since 2021 2026 conflict
Alison Pease
dblp:73/2447
0.3 12017 35 · 4 since 2021 2023 verified
Chris Reed 0001
dblp:12/4444-1
0.3 12017 88 · 20 since 2021 2026 verified
Yongmei Liu 0001
dblp:73/4188-1
0.2 32009 46 · 15 since 2021 2026 conflict
Joydeep Biswas
dblp:84/73
0.1 12018 67 · 37 since 2021 2026 corroborated
Jarrett Holtz
dblp:210/9803
0.1 12018 6 · 4 since 2021 2024 corroborated
Arjun Guha
dblp:15/2016
0.1 12018 44 · 18 since 2021 2025 corroborated
Hector J. Levesque
dblp:l/HJLevesque
0.1 22005 105 · 2 since 2021 2026 none
Eugene Charniak
dblp:c/ECharniak
0.0 11986 79 · 0 since 2021 2016 none
Wolfgang Schönfeld
dblp:55/393
0.0 11985 3 · 0 since 2021 1999 none
Vesko Marinov
dblp:58/2193
0.0 11977 3 · 0 since 2021 1977 none
Carl Hewitt
dblp:h/CarlHewitt
0.0 11969 20 · 0 since 2021 1991 none
page 1 of 1