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.
VLDB 2026 Research / recruitment

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.
Artificial intelligence›Machine learning›Trustworthy machine learning›verification›formal verification of neural networks topic 9 papers · 37 experts · broader topic added to organise its sub-topics
Experts on formal verification of neural networks 37 · 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
Yevgeniy Vorobeychik
dblp:70/2217
1.0 12026 135 · 60 since 2021 2026 verified
Matthias Althoff
dblp:67/1387
1.0 12026 112 · 55 since 2021 2026 conflict
Xinhang Ma
dblp:372/1782
1.0 12026 2 · 2 since 2021 2026 none
Tobias Ladner
dblp:346/0467
1.0 12026 5 · 5 since 2021 2026 verified
Hussein Sibai
dblp:198/6856
1.0 12026 10 · 5 since 2021 2026 corroborated
Junlin Wu 0001
dblp:188/8292-1
1.0 12026 9 · 9 since 2021 2026 verified
Yasser Shoukry
dblp:123/7829
1.0 12026 27 · 11 since 2021 2026 verified
Yiannis Kantaros
dblp:121/0062
1.0 12026 22 · 14 since 2021 2026 verified
Qi Zhu 0002
dblp:66/5923-2
0.8 12024 135 · 58 since 2021 2025 conflict
Gagandeep Singh 0001
dblp:64/3747-1
0.8 12024 46 · 35 since 2021 2026 conflict
Yixuan Wang 0001
dblp:44/4317-1
0.8 12024 18 · 16 since 2021 2025 verified
Avaljot Singh
dblp:339/0936
0.8 12024 5 · 5 since 2021 2026 corroborated
Debangshu Banerjee 0001
dblp:268/6756-1
0.8 12024 12 · 12 since 2021 2026 verified
Xin Chen 0002
dblp:24/1518-2
0.8 12024 27 · 10 since 2021 2025 conflict
Wenchao Li 0001
dblp:23/5721-1
0.8 12024 48 · 19 since 2021 2026 conflict
Weichao Zhou
dblp:207/8077
0.8 12024 9 · 7 since 2021 2025 none
Jiameng Fan
dblp:196/7836
0.8 12024 10 · 5 since 2021 2024 corroborated
Chao Huang 0015
dblp:18/4087-15
0.8 12024 37 · 21 since 2021 2025 conflict
Zhilu Wang
dblp:118/4709
0.8 12024 25 · 18 since 2021 2026 conflict
Thomas A. Henzinger
dblp:h/ThomasAHenzinger
0.6 12022 383 · 69 since 2021 2026 verified
Krishnendu Chatterjee
dblp:92/5602
0.6 12022 305 · 70 since 2021 2026 conflict
Mathias Lechner
dblp:209/9862
0.6 12022 37 · 31 since 2021 2025 corroborated
Dorde Zikelic
dblp:150/8968
0.6 12022 36 · 33 since 2021 2026 verified
Pushmeet Kohli
dblp:94/248
0.4 12019 187 · 7 since 2021 2025 verified
Sven Gowal
dblp:75/8368
0.4 12019 36 · 14 since 2021 2025 none
Timothy A. Mann
dblp:217/3322
0.4 12019 26 · 5 since 2021 2022 none
Robert Stanforth
dblp:217/2131
0.4 12019 13 · 2 since 2021 2024 none
Krishnamurthy Dvijotham
dblp:16/8758
0.4 12019 52 · 25 since 2021 2025 verified
Suman Jana
dblp:74/28
0.3 12018 72 · 32 since 2021 2026 conflict
Shiqi Wang 0002
dblp:58/9145-2
0.3 12018 23 · 17 since 2021 2025 conflict
Justin Whitehouse
dblp:218/6673
0.3 12018 11 · 8 since 2021 2025 corroborated
Kexin Pei
dblp:145/6061
0.3 12018 23 · 13 since 2021 2025 corroborated
Michele Lombardi 0001
dblp:l/MicheleLombardi
0.3 12025 71 · 19 since 2021 2026 conflict
Matteo Francobaldi
dblp:355/6513
0.3 12025 2 · 2 since 2021 2026 corroborated
Daniel Neider
dblp:47/6419
0.2 12022 67 · 36 since 2021 2026 verified
Kristian Kersting
dblp:40/3793
0.2 12022 238 · 94 since 2021 2026 verified
Xuan Xie 0001
dblp:22/10184-1
0.2 12022 13 · 11 since 2021 2026 verified
page 1 of 1