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›probabilistic verification›probabilistic program verification topic 37 papers · 79 experts · broader topic added to organise its sub-topics
Experts on probabilistic program verification 79 · 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
Joost-Pieter Katoen
dblp:k/JoostPieterKatoen
9.8 152026 259 · 74 since 2021 2026 verified
Kevin Batz
dblp:215/5068
6.3 92026 20 · 16 since 2021 2026 verified
Benjamin Lucien Kaminski
dblp:39/9937
5.6 102026 34 · 17 since 2021 2026 verified
Christoph Matheja
dblp:172/5070
4.2 72026 30 · 16 since 2021 2026 verified
Justin Hsu
dblp:35/10964
3.7 82023 65 · 22 since 2021 2026 corroborated
Tobias Winkler 0001
dblp:66/750-1
3.2 42026 23 · 18 since 2021 2026 conflict
Philipp Schröer
dblp:264/0074
3.2 42026 6 · 5 since 2021 2026 verified
Hongfei Fu 0001
dblp:19/7123
2.8 42026 36 · 16 since 2021 2026 verified
Alejandro Aguirre 0001
dblp:99/3218
2.5 42025 22 · 16 since 2021 2026 verified
Subhajit Roy 0001
dblp:95/621
1.8 32023 61 · 33 since 2021 2026 conflict
Mingshuai Chen
dblp:169/1207
1.7 32023 34 · 26 since 2021 2026 conflict
Krishnendu Chatterjee
dblp:92/5602
1.7 32024 305 · 70 since 2021 2026 conflict
Naijun Zhan
dblp:63/1911
1.7 22026 114 · 51 since 2021 2026 verified
Shenghua Feng
dblp:232/3100
1.7 22026 9 · 7 since 2021 2026 corroborated
Lars Birkedal
dblp:31/910
1.6 22025 153 · 58 since 2021 2026 verified
Kwing Hei Li
dblp:307/7777
1.6 22025 7 · 7 since 2021 2026 verified
Simon Oddershede Gregersen
dblp:263/1059
1.6 22025 13 · 12 since 2021 2026 verified
Philipp G. Haselwarter
dblp:215/4306
1.6 22025 11 · 11 since 2021 2026 verified
Joseph Tassarotti
dblp:07/11515
1.6 22025 39 · 28 since 2021 2026 verified
Fei He 0001
dblp:13/6794-1
1.3 22025 66 · 26 since 2021 2026 conflict
Nitesh Trivedi
dblp:326/0119
1.2 22023 4 · 4 since 2021 2025 corroborated
Drashti Pathak
dblp:259/8615
1.2 22023 3 · 3 since 2021 2025 none
Jialu Bao
dblp:256/5333
1.2 22023 9 · 8 since 2021 2025 corroborated
Gilles Barthe
dblp:b/GBarthe
1.2 32021 202 · 49 since 2021 2026 verified
Umut Yigit Dural
dblp:437/7227
1.0 12026 1 · 1 since 2021 2026 reported
Daniel Zilken
dblp:397/8189
1.0 12026 2 · 2 since 2021 2026 corroborated
Jingyu Ke
dblp:353/0476
1.0 12026 6 · 6 since 2021 2026 corroborated
Darion Haase
dblp:330/5033
1.0 12026 5 · 5 since 2021 2026 verified
Tengshun Yang
dblp:307/3974
1.0 12026 4 · 4 since 2021 2026 corroborated
Shiyang Wu
dblp:189/1158
1.0 12026 4 · 3 since 2021 2026 conflict
A. Prasad Sistla
dblp:s/APrasadSistla
0.9 12025 114 · 5 since 2021 2025 verified
Rohit Chadha
dblp:c/RohitChadha
0.9 12025 44 · 8 since 2021 2026 verified
Juanen Li
dblp:380/7026
0.9 12025 1 · 1 since 2021 2025 reported
Bishnu Bhusal
dblp:356/9320
0.9 12025 5 · 5 since 2021 2026 corroborated
Guanyan Li
dblp:315/4682
0.9 12025 3 · 3 since 2021 2025 corroborated
Zhilei Han
dblp:305/7244
0.9 12025 5 · 5 since 2021 2026 corroborated
Francesca Randone
dblp:263/6919
0.9 12025 6 · 5 since 2021 2026 verified
Mahesh Viswanathan 0001
dblp:23/2759-1
0.9 12025 128 · 18 since 2021 2025 verified
Petr Novotný 0001
dblp:91/10961
0.8 12024 31 · 13 since 2021 2025 verified
Markus de Medeiros
dblp:376/0771
0.8 12024 5 · 5 since 2021 2026 corroborated
page 1 of 2 Next →