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›Automated reasoning and model checking›equational reasoning topic 52 papers · 96 experts
Sub-topics 3 · with their number of papers; shaded topics divide further
Experts on equational reasoning 96 · 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
Gilles Barthe
dblp:b/GBarthe
1.7 22025 202 · 49 since 2021 2026 verified
Li Zhou 0013
dblp:54/40-13
1.7 22025 21 · 16 since 2021 2026 verified
Yingte Xu
dblp:340/4226
1.7 22025 4 · 4 since 2021 2026 corroborated
Boutheina Bannour
dblp:64/10779
1.0 12026 11 · 6 since 2021 2026 corroborated
Joel Nguetoum
dblp:424/6779
1.0 12026 1 · 1 since 2021 2026 reported
Rudi Schneider
dblp:412/5680
1.0 12026 2 · 2 since 2021 2026 reported
Marcus Rossel
dblp:377/7507
1.0 12026 2 · 2 since 2021 2026 corroborated
Michel Steuwer
dblp:35/10101
1.0 12026 36 · 22 since 2021 2026 verified
Pascale Le Gall
dblp:31/1845
1.0 12026 45 · 14 since 2021 2026 corroborated
Erwan Mahe
dblp:252/5079
1.0 12026 6 · 5 since 2021 2026 corroborated
Andres Goens
dblp:144/4631
1.0 12026 23 · 12 since 2021 2026 verified
Thomas Koehler 0005
dblp:09/1281-5
1.0 12026 5 · 4 since 2021 2026 verified
Jahrim Gabriele Cesario
dblp:396/4256
0.9 12025 2 · 2 since 2021 2026 verified
Mateus de Oliveira Oliveira
dblp:39/2248
0.9 12025 54 · 23 since 2021 2026 verified
George Zakhour
dblp:354/1461
0.9 12025 7 · 7 since 2021 2026 corroborated
Pascal Weisenburger
dblp:188/1945
0.9 12025 17 · 14 since 2021 2026 verified
Guido Salvaneschi
dblp:14/7915
0.9 12025 53 · 24 since 2021 2026 verified
C.-H. Luke Ong
dblp:o/CHLukeOng
0.6 12022 107 · 25 since 2021 2026 verified
Eddie Jones
dblp:188/6104
0.6 12022 4 · 4 since 2021 2026 corroborated
Steven Ramsay
dblp:16/9032
0.6 12022 20 · 8 since 2021 2026 verified
Dan Grossman
dblp:g/DanGrossman
0.5 12021 66 · 5 since 2021 2024 corroborated
Adriana Schulz
dblp:69/8106
0.5 12021 35 · 24 since 2021 2025 verified
Brett Saiki
dblp:300/4283
0.5 12021 5 · 5 since 2021 2025 corroborated
Ralph Sarkis
dblp:280/0675
0.5 12021 5 · 5 since 2021 2025 corroborated
Amy Zhu
dblp:257/3279
0.5 12021 5 · 4 since 2021 2024 corroborated
Zachary Tatlock
dblp:24/2888
0.5 12021 44 · 16 since 2021 2025 verified
Max Willsey
dblp:194/2846
0.5 12021 18 · 13 since 2021 2026 verified
Yisu Remy Wang
dblp:185/9964
0.5 12021 16 · 14 since 2021 2026 verified
Chandrakana Nandi
dblp:157/8240
0.5 12021 15 · 11 since 2021 2025 corroborated
Valeria Vignudelli
dblp:150/6785
0.5 12021 11 · 5 since 2021 2024 corroborated
Adam Anderson 0004
dblp:127/6893-4
0.5 12021 2 · 1 since 2021 2021 none
Matteo Mio
dblp:11/3011
0.5 12021 19 · 5 since 2021 2024 corroborated
Prakash Panangaden
dblp:p/PPanangaden
0.2 12016 127 · 21 since 2021 2026 verified
Gordon D. Plotkin
dblp:p/GordonDPlotkin
0.2 12016 101 · 9 since 2021 2026 verified
Radu Mardare
dblp:52/5744
0.2 12016 43 · 7 since 2021 2026 corroborated
Dexter Kozen
dblp:k/DexterKozen
0.2 22014 129 · 13 since 2021 2025 verified
José Meseguer 0001
dblp:m/JoseMeseguer
0.2 12014 176 · 13 since 2021 2026 verified
Santiago Escobar 0001
dblp:e/SEscobar
0.2 12014 62 · 19 since 2021 2026 verified
María Alpuente
dblp:a/MariaAlpuente
0.2 12014 61 · 4 since 2021 2023 verified
Javier Espert
dblp:91/8556
0.2 12014 4 · 0 since 2021 2014 none
page 1 of 3 Next →