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.
Software engineering, system software, and programming languages›Program verification›constraint-based verification›SAT-based verification topic 7 papers · 24 experts · broader topic added to organise its sub-topics
Experts on SAT-based verification 24 · 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
Michael Leuschel
dblp:l/MLeuschel
0.8 12024 117 · 27 since 2021 2026 verified
Yongmei Liu 0001
dblp:73/4188-1
0.1 12010 46 · 15 since 2021 2026 conflict
Sarfraz Khurshid
dblp:k/SarfrazKhurshid
0.1 12007 160 · 10 since 2021 2026 corroborated
Adnan Aziz
dblp:53/5368
0.1 12007 73 · 5 since 2021 2026 corroborated
Frank Tip
dblp:32/524
0.1 12007 84 · 14 since 2021 2025 corroborated
Fadi A. Zaraket
dblp:29/5476
0.1 12007 22 · 6 since 2021 2026 verified
Julian Dolby
dblp:08/7028
0.1 12007 75 · 12 since 2021 2025 corroborated
Mandana Vaziri
dblp:05/2667
0.1 12007 19 · 1 since 2021 2023 corroborated
Daniel Jackson 0001
dblp:80/1906-1
0.1 12006 72 · 5 since 2021 2024 conflict
Greg Dennis
dblp:64/2082
0.1 12006 3 · 0 since 2021 2013 none
Felix Sheng-Ho Chang
dblp:11/3395
0.1 12006 4 · 0 since 2021 2008 none
Nicolás Rosner
dblp:94/7855
0.0 12013 18 · 4 since 2021 2023 corroborated
Luciano Zemín
dblp:132/2641
0.0 12013 2 · 1 since 2021 2025 corroborated
Santiago Perez De Rosso
dblp:132/2568
0.0 12013 2 · 0 since 2021 2016 corroborated
Santiago Bermúdez
dblp:132/2504
0.0 12013 1 · 0 since 2021 2013 none
Guido Marucci Blas
dblp:132/2404
0.0 12013 1 · 0 since 2021 2013 none
Lucas Pizzagalli
dblp:132/2392
0.0 12013 1 · 0 since 2021 2013 none
Juan P. Galeotti
dblp:13/4907
0.0 12013 35 · 13 since 2021 2026 corroborated
Marcelo F. Frias
dblp:13/1323
0.0 12013 60 · 20 since 2021 2026 verified
Chao Wang 0001
dblp:w/ChaoWang
0.0 12003 123 · 23 since 2021 2026 conflict
Zijiang Yang 0006
dblp:97/3485-6
0.0 12003 102 · 23 since 2021 2026 conflict
Malay K. Ganai
dblp:34/7032
0.0 12003 49 · 0 since 2021 2014 none
Pranav Ashar
dblp:18/2806
0.0 12003 54 · 0 since 2021 2016 none
Aarti Gupta
dblp:18/2229
0.0 12003 156 · 32 since 2021 2026 verified
page 1 of 1