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›Automata and formal languages›infinite-state systems›automata with storage›stack automata topic 16 papers · 22 experts · broader topic added to organise its sub-topics
Experts on stack automata 22 · 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
Moshe Y. Vardi
dblp:v/MosheYVardi
0.0 12003 457 · 61 since 2021 2026 conflict
Nir Piterman
dblp:p/NPiterman
0.0 12003 98 · 24 since 2021 2026 verified
Danny Raz
dblp:r/DannyRaz
0.0 21994 122 · 15 since 2021 2025 none
David Harel
dblp:h/DavidHarel
0.0 21994 180 · 15 since 2021 2026 verified
Joost Engelfriet
dblp:e/JoostEngelfriet
0.0 31991 124 · 3 since 2021 2021 none
Richard J. Lipton
dblp:l/RichardJLipton
0.0 11984 165 · 1 since 2021 2022 corroborated
Richard E. Ladner
dblp:l/RELadner
0.0 11984 190 · 19 since 2021 2026 verified
Larry J. Stockmeyer
dblp:40/805
0.0 11984 77 · 0 since 2021 2006 none
Jan van Leeuwen
dblp:l/JvLeeuwen
0.0 11980 79 · 1 since 2021 2021 verified
Erik Meineche Schmidt
dblp:58/2736
0.0 11980 10 · 0 since 2021 1998 none
Michael A. Harrison
dblp:h/MichaelAHarrison
0.0 31971 42 · 0 since 2021 1994 corroborated
Jeffrey D. Ullman
dblp:u/JeffreyDUllman
0.0 21969 207 · 3 since 2021 2024 verified
Sheila A. Greibach
dblp:g/SheilaAGreibach
0.0 21967 54 · 0 since 2021 1989 none
Seymour Ginsburg
dblp:g/SeymourGinsburg
0.0 21967 92 · 0 since 2021 1998 none
Mario Schkolnick
dblp:96/5511
0.0 11971 18 · 0 since 2021 1988 none
Alfred V. Aho
dblp:a/AVAho
0.0 11969 64 · 1 since 2021 2021 none
Donald E. Knuth
dblp:k/DonaldEKnuth
0.0 11967 50 · 1 since 2021 2022 verified
John E. Hopcroft
dblp:h/JohnEHopcroft
0.0 11968 113 · 12 since 2021 2026 verified
Richard H. Bigelow
dblp:34/208
0.0 11967 2 · 0 since 2021 1974 none
Stephen A. Cook
dblp:c/StephenACook
0.0 11971 85 · 1 since 2021 2021 none
Roger W. Ehrich
dblp:91/3424
0.0 11971 17 · 0 since 2021 2008 none
Stephen S. Yau
dblp:51/247
0.0 11971 174 · 14 since 2021 2026 conflict
page 1 of 1