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›knowledge compilation topic 73 papers · 120 experts
Sub-topics 7 · with their number of papers; shaded topics divide further
Experts on knowledge compilation 120 · 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
Kuldeep S. Meel
dblp:129/1623
3.8 52026 145 · 98 since 2021 2026 verified
Jean-Marie Lagniez
dblp:28/7480
2.8 62025 80 · 31 since 2021 2026 verified
Alexis de Colnet
dblp:249/1786
2.8 42026 21 · 18 since 2021 2026 verified
Masaaki Nishino
dblp:90/1078
2.7 32026 44 · 21 since 2021 2026 corroborated
Norihito Yasuda
dblp:41/2921
2.7 32026 40 · 19 since 2021 2026 none
Kengo Nakamura 0001
dblp:158/3521
2.7 32026 21 · 17 since 2021 2026 verified
Pierre Marquis
dblp:37/6177
2.5 162021 160 · 28 since 2021 2026 corroborated
Yong Lai 0001
dblp:37/9367-1
2.3 42025 17 · 13 since 2021 2026 verified
Roland H. C. Yap
dblp:y/RolandHCYap
2.0 32025 108 · 19 since 2021 2025 verified
Ryoma Onaka
dblp:337/8410
1.7 22025 4 · 4 since 2021 2026 none
Liangda Fang
dblp:133/1691
1.7 32024 46 · 28 since 2021 2026 corroborated
Petr Illner
dblp:371/4876
1.6 22025 2 · 2 since 2021 2025 corroborated
Vincent Derkinderen
dblp:273/9798
1.6 22025 14 · 12 since 2021 2025 verified
Chico Sundermann
dblp:257/9837
1.5 22024 11 · 11 since 2021 2026 verified
Thomas Thüm
dblp:04/7056
1.5 22024 66 · 25 since 2021 2026 verified
Quanlong Guan
dblp:61/7717
1.3 22024 63 · 58 since 2021 2026 corroborated
Junming Qiu
dblp:316/7318
1.3 22024 5 · 5 since 2021 2025 corroborated
Zhao-Rong Lai
dblp:142/3902
1.3 22024 43 · 23 since 2021 2026 reported
Zhanhao Xiao
dblp:117/7297
1.3 22024 18 · 9 since 2021 2025 conflict
Stefan Mengel
dblp:79/9794
1.3 32022 54 · 21 since 2021 2026 verified
Petr Kucera
dblp:94/3080
1.3 22024 24 · 7 since 2021 2024 verified
Supratik Chakraborty
dblp:34/4525
1.2 22023 81 · 31 since 2021 2026 conflict
S. Akshay 0001
dblp:28/6534
1.2 22023 73 · 35 since 2021 2026 verified
Luc De Raedt
dblp:r/LucDeRaedt
1.1 22024 238 · 51 since 2021 2026 verified
Pedro Zuidberg Dos Martires
dblp:223/4292
1.1 22024 22 · 17 since 2021 2026 verified
Arthur Choi
dblp:67/1972
1.1 32023 47 · 2 since 2021 2025 corroborated
Florent Capelli
dblp:119/5011
1.0 32021 27 · 14 since 2021 2026 verified
Thomas Eiter
dblp:e/TEiter
0.9 22024 303 · 45 since 2021 2026 verified
Rafael Kiesel
dblp:202/9442
0.9 22024 15 · 13 since 2021 2025 verified
Josh Tenenbaum
dblp:t/JoshuaBTenenbaum
0.9 12025 497 · 226 since 2021 2025 verified
Armando Solar-Lezama
dblp:95/6919
0.9 12025 102 · 32 since 2021 2026 verified
Maddy Bowers
dblp:388/0219
0.9 12025 4 · 4 since 2021 2025 reported
Alexander K. Lew
dblp:242/4530
0.9 12025 20 · 17 since 2021 2026 conflict
Vikash Mansinghka 0001
dblp:23/1731
0.9 12025 54 · 29 since 2021 2026 verified
Adnan Darwiche
dblp:p/ADarwiche
0.8 92016 152 · 13 since 2021 2026 verified
Frédéric Koriche
dblp:70/4456
0.8 32020 38 · 9 since 2021 2025 corroborated
Hélène Fargier
dblp:19/461
0.8 72014 92 · 11 since 2021 2024 corroborated
Stefan Szeider
dblp:s/StefanSzeider
0.8 12024 239 · 75 since 2021 2026 verified
Tianwei Zhang 0006
dblp:77/7902-6
0.8 12024 4 · 4 since 2021 2025 none
Jacob Loth
dblp:355/1393
0.8 12024 1 · 1 since 2021 2024 unresolved
page 1 of 3 Next →