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: SIGIR, WWW, SIGKDD, WSDM, TOIS, ACL +2 · junior 2+ first-author in 5y or senior 5+ papers in 5y · 7,017 experts meet it · 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›parameterized verification topic 46 papers · 108 experts
Sub-topics 1 · with their number of papers; shaded topics divide further
Experts on parameterized verification 108 · 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
Swen Jacobs
dblp:73/6880
1.2 22024 44 · 15 since 2021 2026 verified
Javier Esparza
dblp:e/JEsparza
1.1 42020 183 · 30 since 2021 2026 verified
Arnaud Sangnier
dblp:45/2701
1.1 22025 41 · 12 since 2021 2026 verified
Jun Pang 0001
dblp:p/JunPang
1.1 22024 159 · 52 since 2021 2026 verified
Alessio Lomuscio
dblp:l/AlessioLomuscio
1.0 42017 119 · 31 since 2021 2025 verified
Panagiotis Kouvaros
dblp:125/2198
1.0 42017 24 · 12 since 2021 2025 verified
Radu Iosif
dblp:81/5510
0.9 12025 65 · 15 since 2021 2026 verified
Neven Villani
dblp:329/4908
0.9 12025 3 · 3 since 2021 2025 corroborated
Marius Bozga
dblp:05/178
0.9 12025 104 · 15 since 2021 2026 verified
Nicolas Markey
dblp:m/NicolasMarkey
0.8 22022 87 · 13 since 2021 2025 verified
Michael Blondin
dblp:117/6024
0.8 22020 36 · 16 since 2021 2026 verified
Rupak Majumdar
dblp:71/1981
0.8 32019 252 · 59 since 2021 2026 verified
Michael Fisher 0001
dblp:f/MichaelFisher
0.8 12024 90 · 18 since 2021 2026 verified
Clare Dixon
dblp:d/ClareDixon
0.8 12024 58 · 14 since 2021 2026 conflict
Marcus Völp
dblp:52/6494
0.8 12024 43 · 18 since 2021 2026 verified
Bohua Zhan
dblp:31/11002
0.8 12024 43 · 31 since 2021 2026 corroborated
Paul Eichler 0001
dblp:300/7516-1
0.8 12024 4 · 4 since 2021 2026 verified
Tom Baumeister
dblp:276/1384
0.8 12024 4 · 3 since 2021 2026 corroborated
Mouhammad Sakr
dblp:203/8091
0.8 12024 12 · 6 since 2021 2026 verified
Georgios Kourtis
dblp:190/7186
0.8 12024 6 · 4 since 2021 2025 corroborated
Philipp Rümmer
dblp:79/5611
0.6 22019 86 · 30 since 2021 2026 verified
Anthony Widjaja Lin
dblp:38/2655
0.6 22019 64 · 26 since 2021 2026 verified
S. Krishna 0004
dblp:k/SNKrishna
0.6 12022 95 · 34 since 2021 2026 verified
Nathalie Bertrand 0001
dblp:b/NathalieBertrand1
0.6 12022 64 · 17 since 2021 2026 verified
Soham Chakraborty 0001
dblp:89/6242
0.6 12022 25 · 17 since 2021 2026 conflict
Roland Meyer 0001
dblp:86/3051
0.6 12022 65 · 20 since 2021 2026 conflict
Nicolas Waldburger
dblp:319/3211
0.6 12022 7 · 7 since 2021 2026 corroborated
Adwait Godbole
dblp:260/7068
0.6 12022 16 · 14 since 2021 2025 corroborated
Ocan Sankur
dblp:11/7805
0.6 12022 48 · 17 since 2021 2026 verified
A. R. Balasubramanian
dblp:215/5409
0.5 12021 22 · 17 since 2021 2026 verified
Antonín Kucera 0001
dblp:k/AntoninKucera
0.4 12020 103 · 15 since 2021 2026 verified
Roopsha Samanta
dblp:78/7445
0.4 12020 23 · 7 since 2021 2023 corroborated
Christopher Wagner
dblp:59/6876
0.4 12020 6 · 5 since 2021 2026 corroborated
Milind Kulkarni 0001
dblp:47/1003
0.4 12020 76 · 22 since 2021 2026 verified
Martin Helfrich
dblp:250/9258
0.4 12020 7 · 3 since 2021 2024 verified
Nouraldin Jaber
dblp:194/4203
0.4 12020 6 · 4 since 2021 2023 corroborated
Klara J. Meyer
dblp:118/3833
0.4 12020 14 · 3 since 2021 2024 verified
Pierre Ganty
dblp:16/5983
0.4 22015 54 · 12 since 2021 2026 verified
Suresh Jagannathan
dblp:j/SJagannathan
0.4 12019 115 · 17 since 2021 2026 verified
Kartik Nagar
dblp:120/1805
0.4 12019 17 · 7 since 2021 2025 corroborated
page 1 of 3 Next →