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›constructive mathematics topic 16 papers · 28 experts
Sub-topics 3 · with their number of papers; shaded topics divide further
Experts on constructive mathematics 28 · 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
Titouan Leclercq
dblp:441/7390
1.0 12026 1 · 1 since 2021 2026 reported
Daniel Misselbeck-Wessel
dblp:342/6123
1.0 12026 7 · 4 since 2021 2026 verified
Étienne Miquey
dblp:143/7198
1.0 12026 15 · 7 since 2021 2026 corroborated
Vincent Rahli
dblp:53/4456
0.9 22024 34 · 15 since 2021 2026 corroborated
Liron Cohen 0001
dblp:133/1997-1
0.9 22024 28 · 17 since 2021 2026 conflict
Bruno da Rocha Paiva
dblp:355/1246
0.8 12024 3 · 3 since 2021 2025 verified
Yannick Forster 0002
dblp:188/5682-2
0.8 12024 34 · 18 since 2021 2026 verified
Dominik Kirst
dblp:179/5411
0.8 12024 27 · 23 since 2021 2026 verified
Pierre-Marie Pédrot
dblp:150/6790
0.8 12024 16 · 8 since 2021 2026 verified
Hugo Herbelin
dblp:90/6992
0.4 32021 22 · 3 since 2021 2025 corroborated
Tom de Jong
dblp:46/7328
0.3 12026 10 · 8 since 2021 2026 corroborated
Aref Mohammadzadeh
dblp:430/9793
0.3 12026 1 · 1 since 2021 2026 unresolved
Fredrik Nordvall Forsberg
dblp:26/8342
0.3 12026 20 · 9 since 2021 2026 verified
Nicolai Kraus
dblp:02/10549
0.3 12026 25 · 14 since 2021 2026 conflict
Iosif Petrakis
dblp:128/3275
0.2 12016 18 · 8 since 2021 2025 corroborated
Nuria Brede
dblp:271/7792
0.1 12021 3 · 3 since 2021 2021 verified
Ilya Mezhirov
dblp:98/4988
0.1 12012 5 · 0 since 2021 2012 none
Alexander Shen 0001
dblp:87/6631
0.1 12012 63 · 12 since 2021 2026 verified
Mathieu Hoyrup
dblp:86/1356
0.1 12012 41 · 6 since 2021 2026 verified
Adam R. Day
dblp:53/7657
0.1 12012 11 · 0 since 2021 2018 corroborated
Laurent Bienvenu
dblp:33/1739
0.1 12012 40 · 5 since 2021 2026 verified
Thomas Powell 0001
dblp:54/4352-1
0.1 12020 16 · 5 since 2021 2026 verified
Robert L. Constable
dblp:c/RobertLConstable
0.1 12018 48 · 1 since 2021 2021 none
Mark Bickford
dblp:10/1927
0.1 12018 16 · 2 since 2021 2022 corroborated
Ulrich Berger 0001
dblp:b/UlrichBerger-1
0.0 12004 36 · 3 since 2021 2023 verified
Paulo Oliva
dblp:75/6331
0.0 12003 30 · 3 since 2021 2025 corroborated
Makoto Tatsuta
dblp:18/5262
0.0 11998 38 · 5 since 2021 2026 none
Wesley Phoa
dblp:01/3705
0.0 11990 5 · 0 since 2021 1994 none
page 1 of 1