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›Computational complexity›complexity of reasoning›model checking complexity topic 20 papers · 51 experts · broader topic added to organise its sub-topics
Experts on model checking complexity 51 · 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
Aniello Murano
dblp:41/1330
2.5 42026 141 · 48 since 2021 2026 verified
Raul Fervari
dblp:117/9953
1.5 22025 32 · 18 since 2021 2026 verified
Vadim Malvone
dblp:169/0382
1.4 22026 51 · 38 since 2021 2026 verified
Yongmei Liu 0001
dblp:73/4188-1
1.0 12026 46 · 15 since 2021 2026 conflict
Francesco Improta
dblp:422/3116
1.0 12026 1 · 1 since 2021 2026 none
Marco Aruta
dblp:391/4014
1.0 12026 6 · 6 since 2021 2026 corroborated
Ruiqi Jin 0002
dblp:315/9419-2
1.0 12026 2 · 2 since 2021 2026 none
Pedro R. D'Argenio
dblp:61/441
0.9 12025 47 · 10 since 2021 2026 verified
Pablo F. Castro
dblp:57/1847
0.9 12025 29 · 7 since 2021 2026 verified
Joost-Pieter Katoen
dblp:k/JoostPieterKatoen
0.8 12024 259 · 74 since 2021 2026 verified
Munyque Mittelmann
dblp:241/5539
0.8 12024 20 · 19 since 2021 2026 verified
Raphaël Berthon
dblp:183/1643
0.8 12024 10 · 7 since 2021 2026 corroborated
Stéphane Demri
dblp:d/StephaneDemri
0.7 12023 95 · 14 since 2021 2026 verified
Sourav Chakraborty 0001
dblp:89/3488-1
0.6 12022 65 · 38 since 2021 2026 conflict
Sujata Ghosh
dblp:43/4591
0.6 12022 19 · 9 since 2021 2026 conflict
François Schwarzentruber
dblp:35/485
0.6 12022 63 · 23 since 2021 2026 verified
Avijeet Ghosh
dblp:319/5990
0.6 12022 3 · 3 since 2021 2025 none
Laura Bozzelli
dblp:81/5922
0.4 12019 82 · 23 since 2021 2026 conflict
Francesco Belardinelli
dblp:59/2916
0.4 12019 68 · 27 since 2021 2026 verified
Bastien Maubert
dblp:43/7254
0.4 12019 34 · 11 since 2021 2025 verified
Damian Kurpiewski
dblp:169/9821
0.4 12019 14 · 11 since 2021 2026 verified
Wojciech Jamroga
dblp:09/966
0.4 12019 50 · 21 since 2021 2026 verified
Florent R. Madelaine
dblp:54/937
0.3 12018 23 · 5 since 2021 2026 verified
Barnaby Martin
dblp:00/757
0.3 12018 87 · 33 since 2021 2026 verified
Qingliang Chen
dblp:95/4947
0.2 12015 33 · 11 since 2021 2025 corroborated
Kaile Su
dblp:80/5001
0.2 12015 110 · 17 since 2021 2026 conflict
Xiaowei Huang 0001
dblp:60/5414-1
0.2 12015 137 · 95 since 2021 2026 conflict
Sven Schewe
dblp:38/5198
0.2 12015 129 · 53 since 2021 2026 verified
Farn Wang
dblp:27/3868
0.2 12015 66 · 3 since 2021 2026 corroborated
Chung-Hao Huang
dblp:07/9299
0.2 12015 12 · 0 since 2021 2020 none
Benedikt Bollig
dblp:b/BenediktBollig
0.2 12013 69 · 15 since 2021 2025 verified
Roy Mennicke
dblp:98/8315
0.2 12013 6 · 0 since 2021 2017 none
Markus Lohrey
dblp:76/1674
0.2 12013 151 · 25 since 2021 2026 verified
Dietrich Kuske
dblp:19/4109
0.2 12013 85 · 12 since 2021 2026 none
Stefan Göller
dblp:13/4109
0.2 12013 42 · 6 since 2021 2026 corroborated
Gerald Pfeifer
dblp:p/GeraldPfeifer
0.0 12004 26 · 0 since 2021 2011 none
Wolfgang Faber 0001
dblp:f/WolfgangFaber
0.0 12004 91 · 14 since 2021 2025 verified
Michael Fink 0001
dblp:f/MFink
0.0 12004 76 · 0 since 2021 2018 verified
Thomas Eiter
dblp:e/TEiter
0.0 12004 303 · 45 since 2021 2026 verified
Stefan Woltran
dblp:39/6130
0.0 12004 219 · 40 since 2021 2026 verified
page 1 of 2 Next →