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.
Software engineering, system software, and programming languages›Program verification›correctness proof topic 45 papers · 73 experts · broader topic added to organise its sub-topics
Sub-topics 2 · with their number of papers; shaded topics divide further
Experts on correctness proof 73 · 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
G. A. Venkatesh
dblp:71/3424
0.0 11992 4 · 0 since 2021 1995 none
Harlan D. Mills
dblp:95/5254
0.0 11982 12 · 0 since 2021 1995 none
David Gries
dblp:g/DavidGries
0.0 21976 51 · 0 since 2021 2008 verified
Bernd Krieg-Brückner
dblp:k/BerndKriegBruckner
0.0 11980 13 · 0 since 2021 2018 verified
Manfred Broy
dblp:b/ManfredBroy
0.0 11980 119 · 6 since 2021 2025 verified
Robert E. Noonan
dblp:27/6638
0.0 21980 15 · 0 since 2021 2007 none
Shmuel Katz
dblp:k/ShmuelKatz
0.0 11978 50 · 0 since 2021 2015 corroborated
Nissim Francez
dblp:f/NissimFrancez
0.0 11978 73 · 1 since 2021 2022 verified
Susan L. Gerhart
dblp:96/1719
0.0 21976 16 · 0 since 2021 1995 none
Ed Anson
dblp:66/4316
0.0 11987 3 · 0 since 2021 1987 reported
Lawrence Yelowitz
dblp:49/5705
0.0 21976 11 · 0 since 2021 1984 none
Siang Wun Song
dblp:s/SiangWunSong
0.0 11977 27 · 0 since 2021 2019 conflict
H. T. Kung 0001
dblp:k/HTKung
0.0 11977 147 · 21 since 2021 2026 conflict
William W. Wadge
dblp:w/WilliamWWadge
0.0 11976 30 · 1 since 2021 2022 none
Zohar Manna
dblp:m/ZoharManna
0.0 11976 116 · 0 since 2021 2008 none
Edward A. Ashcroft
dblp:86/6039
0.0 11976 13 · 0 since 2021 1986 none
Richard J. Waldinger
dblp:48/1801
0.0 11976 35 · 0 since 2021 2019 none
Matthew M. Geller
dblp:46/3455
0.0 11976 8 · 0 since 2021 1977 none
Irene Greif
dblp:41/3993
0.0 11976 16 · 0 since 2021 2020 none
Stephen A. Cook
dblp:c/StephenACook
0.0 11975 85 · 1 since 2021 2021 none
Steven M. German
dblp:65/723
0.0 11975 21 · 0 since 2021 2011 none
Derek C. Oppen
dblp:36/2612
0.0 11975 15 · 0 since 2021 1983 none
Ben Wegbreit
dblp:31/5520
0.0 11975 24 · 0 since 2021 2007 none
Marty Ossefort
dblp:35/3354
0.0 11983 3 · 0 since 2021 1983 none
Mitchell Wand
dblp:w/MitchellWand
0.0 11973 65 · 0 since 2021 2020 none
F. Lockwood Morris
dblp:77/5159
0.0 11973 6 · 0 since 2021 2007 none
Mary Shaw
dblp:93/5634
0.0 11980 47 · 2 since 2021 2025 verified
James C. King
dblp:92/1703
0.0 11971 5 · 0 since 2021 1980 none
Jon Louis Bentley
dblp:84/2910
0.0 11980 42 · 0 since 2021 2014 none
Barry K. Rosen
dblp:55/4610
0.0 11978 44 · 0 since 2021 1998 none
Clement McGowan
dblp:16/460
0.0 11970 6 · 0 since 2021 1993 none
Barbara Liskov
dblp:l/BarbaraLiskov
0.0 11975 97 · 4 since 2021 2022 none
Stephen N. Zilles
dblp:80/3689
0.0 11975 2 · 0 since 2021 1979 none
← Prev page 2 of 2