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›Logic in computer science›proof theory›substructural logic topic 20 papers · 30 experts · broader topic added to organise its sub-topics
Sub-topics 4 · with their number of papers; shaded topics divide further
Experts on substructural logic 30 · 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
Revantha Ramanayake
dblp:68/1255
2.9 42026 20 · 10 since 2021 2026 verified
A. R. Balasubramanian
dblp:215/5409
1.5 22026 22 · 17 since 2021 2026 verified
Nikolaos Galatos
dblp:54/4894
1.0 12026 13 · 4 since 2021 2026 verified
Søren Brinck Knudstorp
dblp:362/3457
1.0 12026 3 · 3 since 2021 2026 verified
Vitor Greati
dblp:172/2501
1.0 12026 7 · 6 since 2021 2026 verified
Peter Jipsen
dblp:08/5016
1.0 12026 19 · 10 since 2021 2026 corroborated
Stepan L. Kuznetsov
dblp:08/10856
1.0 22022 22 · 13 since 2021 2026 verified
Limin Jia 0001
dblp:89/161-1
0.9 22025 78 · 32 since 2021 2026 verified
Mark Klein 0003
dblp:26/6023
0.9 12025 31 · 4 since 2021 2025 conflict
Farzaneh Derakhshan
dblp:187/5199
0.9 12025 10 · 10 since 2021 2026 verified
Gabriel A. Moreno
dblp:10/4583
0.9 12025 18 · 3 since 2021 2025 corroborated
Max I. Kanovich
dblp:39/5019
0.8 22022 46 · 7 since 2021 2026 none
Andre Scedrov
dblp:39/3354
0.6 12022 97 · 7 since 2021 2026 verified
Timo Lang
dblp:205/4383
0.5 12021 14 · 10 since 2021 2026 corroborated
James Brotherston
dblp:77/3809
0.5 32014 29 · 3 since 2021 2025 reported
David J. Pym
dblp:16/3107
0.3 22017 51 · 4 since 2021 2025 verified
Simon Docherty
dblp:181/3384
0.3 12017 8 · 1 since 2021 2021 corroborated
Jules Villard
dblp:79/6376
0.2 12014 13 · 1 since 2021 2022 verified
Huan Long
dblp:28/5301
0.2 12013 24 · 14 since 2021 2026 conflict
Yuxi Fu
dblp:27/6047
0.2 12013 49 · 8 since 2021 2026 conflict
Didier Galmiche
dblp:82/76
0.1 12010 44 · 5 since 2021 2025 corroborated
Dominique Larchey-Wendling
dblp:71/952
0.1 12010 19 · 5 since 2021 2026 verified
Frank Pfenning
dblp:p/FPfenning
0.1 22009 132 · 24 since 2021 2026 verified
Cristiano Calcagno
dblp:93/6299
0.1 12009 41 · 0 since 2021 2013 none
Robert J. Simmons
dblp:80/5477
0.1 12009 12 · 2 since 2021 2025 corroborated
Amal Ahmed 0001
dblp:a/AmalAhmed
0.0 12003 44 · 10 since 2021 2026 verified
David Walker 0001
dblp:53/5714-1
0.0 12003 98 · 18 since 2021 2026 conflict
Raffaella Bernardi
dblp:b/RaffaellaBernardi
0.0 12010 28 · 8 since 2021 2026 verified
Michael Moortgat
dblp:24/2167
0.0 12010 10 · 2 since 2021 2023 corroborated
Mati Pentus
dblp:53/4071
0.0 21994 6 · 0 since 2021 2010 reported
page 1 of 1