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›abstraction refinement›counterexample-guided abstraction refinement topic 31 papers · 89 experts
Experts on counterexample-guided abstraction refinement 89 · 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
Marcel Vinzent
dblp:324/6077
1.7 22026 5 · 5 since 2021 2026 none
Jörg Hoffmann 0001
dblp:26/836
1.7 22026 130 · 41 since 2021 2026 conflict
Jean-Marie Lagniez
dblp:28/7480
1.2 22025 80 · 31 since 2021 2026 verified
Holger Hermanns
dblp:h/HolgerHermanns
1.1 22026 171 · 30 since 2021 2026 verified
Francesco Ricca
dblp:r/FrancescoRicca
1.0 12026 108 · 40 since 2021 2026 verified
Andrea Cuteri
dblp:350/6681
1.0 12026 2 · 2 since 2021 2026 corroborated
Giuseppe Mazzotta
dblp:277/2609
1.0 12026 16 · 16 since 2021 2026 verified
Andreas Podelski
dblp:p/APodelski
0.9 12025 147 · 19 since 2021 2026 verified
Marcel Ebbinghaus
dblp:317/4277
0.9 12025 3 · 3 since 2021 2026 corroborated
Dominik Klumpp
dblp:199/3889
0.9 12025 16 · 15 since 2021 2026 verified
Emmanuel Lonca
dblp:147/6027
0.9 12025 12 · 5 since 2021 2026 verified
Jean-Guy Mailly
dblp:133/1928
0.9 12025 27 · 15 since 2021 2026 verified
Loïc Paulevé
dblp:49/8457
0.8 12024 27 · 9 since 2021 2026 verified
Martín Pozo
dblp:371/6144
0.8 12024 4 · 4 since 2021 2026 none
Kerian Thuillier
dblp:301/5352
0.8 12024 2 · 2 since 2021 2024 corroborated
Carlos Linares López
dblp:21/6753
0.8 12024 23 · 5 since 2021 2026 verified
Anne Siegel
dblp:20/3925
0.8 12024 32 · 9 since 2021 2024 corroborated
Álvaro Torralba
dblp:118/2636
0.8 12024 46 · 20 since 2021 2026 verified
Siddhant Sharma
dblp:331/8248
0.7 12023 2 · 2 since 2021 2024 conflict
Yongmei Liu 0001
dblp:73/4188-1
0.6 12022 46 · 15 since 2021 2026 conflict
Kailun Luo
dblp:246/3135
0.6 12022 6 · 4 since 2021 2025 none
Edmund M. Clarke
dblp:c/EdmundMClarke
0.4 52016 203 · 0 since 2021 2017 none
Yi Li 0008
dblp:59/871-8
0.3 12026 73 · 43 since 2021 2026 conflict
Shangwei Lin 0001
dblp:55/4730-1
0.3 12026 71 · 21 since 2021 2026 verified
Zi Pong Lim
dblp:405/3416
0.3 12026 2 · 2 since 2021 2026 reported
Bozhi Wu
dblp:263/7329
0.3 12026 8 · 8 since 2021 2026 corroborated
Yon Shin Teo
dblp:214/9931
0.3 12026 8 · 8 since 2021 2026 corroborated
Tiago de Lima
dblp:55/5242
0.3 12017 20 · 5 since 2021 2025 conflict
Valentin Montmirail
dblp:183/0871
0.3 12017 6 · 0 since 2021 2020 corroborated
Daniel Le Berre
dblp:02/358
0.3 12017 36 · 9 since 2021 2026 verified
Pavithra Prabhakar
dblp:74/6354
0.2 12016 51 · 10 since 2021 2025 corroborated
Mikolás Janota
dblp:56/2424
0.2 12016 73 · 36 since 2021 2026 verified
João Marques-Silva 0001
dblp:340/6684-1
0.2 12016 210 · 48 since 2021 2026 verified
Will Klieber
dblp:21/8296
0.2 12016 6 · 1 since 2021 2026 corroborated
Miriam Garcia Soto
dblp:132/1936
0.2 12016 12 · 2 since 2021 2022 verified
Hrishikesh Karmarkar
dblp:96/7447
0.2 12024 11 · 9 since 2021 2025 corroborated
Sanaa Siddiqui
dblp:360/4921
0.2 12024 2 · 2 since 2021 2024 corroborated
Diganta Mukhopadhyay
dblp:304/5287
0.2 12024 3 · 3 since 2021 2025 corroborated
Guy Katz
dblp:23/10321
0.2 12024 74 · 51 since 2021 2026 conflict
Kumar Madhukar
dblp:134/8956
0.2 12024 14 · 7 since 2021 2025 corroborated
page 1 of 3 Next →