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›synthesis topic 42 papers · 88 experts
Sub-topics 18 · with their number of papers; shaded topics divide further
Experts on synthesis 88 · 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
Giuseppe De Giacomo
dblp:g/GDGiacomo
2.9 62025 231 · 78 since 2021 2026 verified
Moshe Y. Vardi
dblp:v/MosheYVardi
2.3 72025 457 · 61 since 2021 2026 conflict
Orna Kupferman
dblp:k/OrnaKupferman
1.8 82021 229 · 35 since 2021 2026 verified
Emmanuel Filiot
dblp:90/6190
1.1 32022 70 · 20 since 2021 2026 verified
Ayrat Khalimov 0001
dblp:124/8925
1.0 32022 11 · 4 since 2021 2024 corroborated
Sinem Getir
dblp:70/9961
1.0 12026 18 · 13 since 2021 2026 corroborated
Micah Bassett
dblp:402/1606
1.0 12026 1 · 1 since 2021 2026 unresolved
Brendan Devlin-Hill
dblp:328/4808
1.0 12026 1 · 1 since 2021 2026 reported
Gricel Vázquez
dblp:305/3970
1.0 12026 4 · 4 since 2021 2026 corroborated
Kavan Fatehi
dblp:221/9359
1.0 12026 7 · 6 since 2021 2026 reported
Radu Calinescu
dblp:15/2194
1.0 12026 90 · 53 since 2021 2026 verified
Simos Gerasimou
dblp:117/6142
1.0 12026 36 · 20 since 2021 2026 verified
Rajeev Alur
dblp:a/RAlur
0.9 22023 244 · 28 since 2021 2025 verified
Zhenya Zhang 0001
dblp:98/4896-1
0.9 12025 39 · 32 since 2021 2026 conflict
Christian Hagemeier
dblp:72/4324
0.9 12025 2 · 2 since 2021 2025 unresolved
Naijun Zhan
dblp:63/1911
0.9 12025 114 · 51 since 2021 2026 verified
Miaomiao Zhang 0003
dblp:30/3299-3
0.9 12025 36 · 18 since 2021 2026 conflict
Ziran Wang
dblp:201/8509
0.9 12025 38 · 30 since 2021 2026 conflict
Jie An 0001
dblp:145/0655-1
0.9 12025 29 · 22 since 2021 2026 conflict
Shufang Zhu 0001
dblp:141/7718-1
0.9 22020 32 · 25 since 2021 2026 verified
Aniello Murano
dblp:41/1330
0.8 32022 141 · 48 since 2021 2026 verified
Shaull Almagor
dblp:88/8556
0.7 22020 53 · 27 since 2021 2026 verified
Benjamin Aminof
dblp:72/1335
0.7 12023 43 · 15 since 2021 2026 none
Florian Zuleger
dblp:69/2671
0.7 12023 69 · 31 since 2021 2026 verified
Fabio Somenzi
dblp:62/5300
0.7 12023 162 · 16 since 2021 2026 verified
Kishor Jothimurugan
dblp:255/7059
0.7 12023 8 · 6 since 2021 2023 corroborated
Mateo Perez
dblp:228/6991
0.7 12023 20 · 16 since 2021 2026 verified
Osbert Bastani
dblp:21/11275
0.7 12023 81 · 55 since 2021 2026 verified
Sasha Rubin
dblp:07/1731
0.7 12023 70 · 27 since 2021 2026 verified
Ashutosh Trivedi 0001
dblp:06/5756
0.7 12023 80 · 36 since 2021 2026 conflict
Patricia Bouyer
dblp:b/PatriciaBouyer
0.6 12022 120 · 25 since 2021 2026 verified
Benedikt Bollig
dblp:b/BenediktBollig
0.6 12022 69 · 15 since 2021 2025 verified
Béatrice Bérard
dblp:b/BeatriceBerard
0.6 12022 45 · 5 since 2021 2026 verified
Nathalie Sznajder
dblp:94/3760
0.6 12022 21 · 7 since 2021 2026 verified
Laurent Perrussel
dblp:79/5272
0.6 12022 46 · 12 since 2021 2026 verified
Matthias Függer
dblp:44/7212
0.6 12022 50 · 14 since 2021 2026 verified
Bastien Maubert
dblp:43/7254
0.6 12022 34 · 11 since 2021 2025 verified
Munyque Mittelmann
dblp:241/5539
0.6 12022 20 · 19 since 2021 2026 verified
Léo Exibard
dblp:203/2766
0.6 12022 13 · 9 since 2021 2025 verified
Roderick Bloem
dblp:80/1300
0.5 32017 96 · 20 since 2021 2026 verified
page 1 of 3 Next →