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›automated reasoning›interpolation topic 47 papers · 88 experts · broader topic added to organise its sub-topics
Experts on interpolation 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
Li Chen 0013
dblp:c/LiChen13
1.8 62025 70 · 34 since 2021 2026 conflict
Yuval Spiizer
dblp:350/5783
1.0 12026 7 · 7 since 2021 2026 corroborated
Roy Nissim
dblp:248/5338
1.0 12026 8 · 7 since 2021 2026 corroborated
Oded Schwartz
dblp:18/6449
1.0 12026 44 · 13 since 2021 2026 verified
Arie Gurfinkel
dblp:44/3532
1.0 42020 121 · 30 since 2021 2026 verified
Fangguo Zhang
dblp:52/2421
0.9 32025 132 · 34 since 2021 2026 verified
Yunqi Wan
dblp:175/1268
0.9 32025 16 · 14 since 2021 2026 corroborated
Yde Venema
dblp:v/YdeVenema
0.9 12025 65 · 10 since 2021 2025 none
Johannes Kloibhofer
dblp:301/9005
0.9 12025 4 · 4 since 2021 2026 corroborated
Jiongyue Xing
dblp:211/7063
0.8 22020 13 · 5 since 2021 2024 corroborated
Martin Bossert
dblp:13/5672
0.8 22020 93 · 5 since 2021 2025 verified
Yakir Vizel
dblp:86/2578
0.7 42019 33 · 11 since 2021 2026 verified
Hari Govind V. K.
dblp:204/2535
0.5 22020 10 · 5 since 2021 2024 reported
Bruno Dutertre
dblp:d/BDutertre
0.5 12021 26 · 7 since 2021 2026 verified
Dejan Jovanovic
dblp:56/2451
0.5 12021 18 · 3 since 2021 2026 conflict
Sharon Shoham
dblp:92/128
0.4 12020 95 · 32 since 2021 2026 verified
Jiwei Liang
dblp:254/8794
0.3 12025 7 · 6 since 2021 2026 corroborated
Rüdiger L. Urbanke
dblp:u/RLUrbanke
0.2 12016 119 · 13 since 2021 2026 verified
Aws Albarghouthi
dblp:90/8295
0.2 12016 64 · 21 since 2021 2026 verified
Nicolas Macris
dblp:47/5851
0.2 12016 62 · 12 since 2021 2026 corroborated
Andrei Giurgiu
dblp:35/8372
0.2 12016 7 · 0 since 2021 2019 none
Samuel Drews
dblp:182/9259
0.2 12016 6 · 0 since 2021 2020 none
Andrey Rybalchenko
dblp:r/AndreyRybalchenko
0.2 12015 64 · 1 since 2021 2021 none
Klaus von Gleissenthall
dblp:86/10265
0.2 12015 20 · 13 since 2021 2026 verified
Sharad Malik
dblp:79/6934
0.2 12015 206 · 23 since 2021 2026 verified
Boris Köpf
dblp:10/3908
0.2 12015 42 · 10 since 2021 2024 corroborated
Radu Curticapean
dblp:00/9960
0.2 12015 38 · 13 since 2021 2026 verified
Dirk Pattinson
dblp:p/DPattinson
0.2 12013 72 · 11 since 2021 2025 verified
Yu Zheng 0011
dblp:87/1585-11
0.2 12013 12 · 0 since 2021 2016 corroborated
Xinmiao Zhang 0001
dblp:80/3657
0.2 12013 73 · 28 since 2021 2026 conflict
Vadim Ryvchin
dblp:72/2793
0.2 12013 14 · 1 since 2021 2021 none
Alexander Nadel
dblp:07/2593
0.2 12013 34 · 8 since 2021 2026 corroborated
Ondrej Sery
dblp:s/OndrejSery
0.1 12012 14 · 0 since 2021 2017 none
Simone Rollini
dblp:88/8857
0.1 12012 6 · 0 since 2021 2014 none
Natasha Sharygina
dblp:12/2269
0.1 12012 101 · 23 since 2021 2026 verified
Mortuza Ali
dblp:43/4153
0.1 12011 17 · 0 since 2021 2020 corroborated
Margreta Kuijper
dblp:43/1108
0.1 12011 21 · 5 since 2021 2025 verified
Maonian Wu
dblp:13/283
0.1 12011 9 · 4 since 2021 2026 corroborated
Dongmo Zhang
dblp:12/4822
0.1 12011 61 · 12 since 2021 2025 corroborated
Vijay Ganesh 0001
dblp:g/VijayGanesh
0.1 12019 95 · 40 since 2021 2026 verified
page 1 of 3 Next →