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›satisfiability›SAT encoding topic 12 papers · 39 experts · broader topic added to organise its sub-topics
Experts on SAT encoding 39 · 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
Peter Nightingale
dblp:n/PeterNightingale
1.2 22023 54 · 16 since 2021 2026 verified
Miquel Bofill
dblp:78/3584
1.2 22023 31 · 5 since 2021 2026 verified
Mateu Villaret
dblp:75/3516
1.2 22023 43 · 7 since 2021 2024 verified
Felix Ulrich-Oltean
dblp:304/2839
1.2 22023 9 · 9 since 2021 2026 verified
Jordi Coll
dblp:152/2927
1.2 22023 15 · 10 since 2021 2026 verified
Josep Suy
dblp:13/763
1.2 22023 14 · 4 since 2021 2023 verified
Lorenzo Battini
dblp:432/9725
1.0 12026 1 · 1 since 2021 2026 reported
Marko Milenkovic
dblp:346/5566
1.0 12026 1 · 1 since 2021 2026 none
Guoqing Harry Xu
dblp:90/8705
0.4 12020 86 · 30 since 2021 2025 verified
Brian Demsky
dblp:47/3381
0.4 12020 55 · 10 since 2021 2026 corroborated
Hamed Gorjiara
dblp:280/5569
0.4 12020 4 · 3 since 2021 2022 none
Feifei Ma
dblp:59/556
0.4 12019 42 · 21 since 2021 2026 corroborated
Pei Huang 0002
dblp:59/1856-2
0.4 12019 24 · 20 since 2021 2026 conflict
Sushmita Gupta
dblp:36/6469
0.4 12019 47 · 20 since 2021 2026 verified
Meirav Zehavi
dblp:133/1023
0.4 12019 201 · 87 since 2021 2026 verified
Minghao Liu 0001
dblp:119/3234-1
0.4 12019 19 · 15 since 2021 2026 conflict
Saket Saurabh 0001
dblp:11/5491
0.4 12019 541 · 179 since 2021 2026 verified
Jian Zhang 0001
dblp:07/314-1
0.4 12019 117 · 40 since 2021 2026 conflict
M. S. Ramanujan 0001
dblp:04/9023
0.4 12019 117 · 38 since 2021 2026 verified
Pierre Marquis
dblp:37/6177
0.3 12017 160 · 28 since 2021 2026 corroborated
Sébastien Konieczny
dblp:36/1515
0.3 12017 98 · 22 since 2021 2026 verified
Jean-Marie Lagniez
dblp:28/7480
0.3 12017 80 · 31 since 2021 2026 verified
Kevin Leyton-Brown
dblp:81/1149
0.2 12016 106 · 23 since 2021 2026 verified
Neil Newman
dblp:178/8643
0.2 12016 7 · 2 since 2021 2024 reported
Alexandre Fréchette
dblp:126/5045
0.2 12016 8 · 2 since 2021 2025 none
Michael Codish
dblp:c/MCodish
0.1 12012 69 · 5 since 2021 2025 verified
Roni Stern
dblp:95/1348
0.1 12012 148 · 46 since 2021 2026 verified
Meir Kalech
dblp:73/4684
0.1 12012 73 · 24 since 2021 2026 verified
Amit Metodi
dblp:04/9507
0.1 12012 6 · 0 since 2021 2014 none
Yixin Chen 0001
dblp:59/983-1
0.1 12010 169 · 47 since 2021 2026 conflict
Weixiong Zhang
dblp:51/2284
0.1 12010 92 · 15 since 2021 2026 corroborated
Ruoyun Huang
dblp:44/3625
0.1 12010 14 · 2 since 2021 2024 corroborated
Marco Cadoli
dblp:c/MarcoCadoli
0.1 12005 47 · 0 since 2021 2009 none
Andrea Schaerf
dblp:73/2861
0.1 12005 36 · 4 since 2021 2025 corroborated
Alvaro del Val
dblp:v/AlvarodelVal
0.0 12004 17 · 0 since 2021 2005 none
Cèsar Fernández 0001
dblp:f/CesarFernandez
0.0 12004 21 · 1 since 2021 2026 verified
Iván Dotú
dblp:d/IvanDottu
0.0 12004 20 · 1 since 2021 2025 corroborated
Felip Manyà
dblp:50/4075
0.0 12004 62 · 10 since 2021 2026 verified
Carlos Ansótegui
dblp:32/2567
0.0 12004 51 · 8 since 2021 2026 verified
page 1 of 1