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›program verification›verification of concurrent systems topic 14 papers · 28 experts · broader topic added to organise its sub-topics
Sub-topics 5 · with their number of papers; shaded topics divide further
Experts on verification of concurrent systems 28 · 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
Mikhail A. Raskin
dblp:149/7838
0.4 12020 26 · 17 since 2021 2026 verified
Michael Blondin
dblp:117/6024
0.4 12020 36 · 16 since 2021 2026 verified
A. W. Roscoe 0001
dblp:r/AWRoscoe
0.4 12019 75 · 10 since 2021 2026 verified
Pedro R. G. Antonino
dblp:135/9609
0.4 12019 15 · 7 since 2021 2026 verified
Thomas Gibson-Robinson
dblp:116/4998
0.4 12019 14 · 1 since 2021 2022 verified
Slawomir Lasota 0001
dblp:97/3803
0.1 12021 82 · 23 since 2021 2026 verified
Wojciech Czerwinski
dblp:56/7270
0.1 12021 56 · 23 since 2021 2026 verified
Lukasz Orlikowski
dblp:291/4569
0.1 12021 11 · 11 since 2021 2026 none
Frédéric Lang
dblp:72/5592
0.1 12019 36 · 5 since 2021 2026 corroborated
Franco Mazzanti
dblp:42/2787
0.1 12019 28 · 6 since 2021 2023 verified
Radu Mateescu 0001
dblp:11/4980
0.1 12019 57 · 6 since 2021 2025 none
Vineet Kahlon
dblp:64/3264
0.1 12006 25 · 0 since 2021 2013 none
Aarti Gupta
dblp:18/2229
0.1 12006 156 · 32 since 2021 2026 verified
Marisa Llorens
dblp:27/5323
0.0 12004 14 · 2 since 2021 2023 conflict
Javier Oliver 0001
dblp:06/708
0.0 12004 16 · 0 since 2021 2018 conflict
Roberto Segala
dblp:s/RobertoSegala
0.0 12008 39 · 1 since 2021 2024 verified
E. Allen Emerson
dblp:e/EAllenEmerson
0.0 11995 82 · 0 since 2021 2014 none
Kedar S. Namjoshi
dblp:96/6348
0.0 11995 63 · 8 since 2021 2026 corroborated
George J. Milne
dblp:80/4409
0.0 11991 12 · 0 since 2021 2005 reported
Sanguthevar Rajasekaran
dblp:r/SanguthevarRajasekaran
0.0 11998 169 · 14 since 2021 2025 conflict
Insup Lee 0001
dblp:l/InsupLee
0.0 11998 249 · 44 since 2021 2026 verified
Moshe Y. Vardi
dblp:v/MosheYVardi
0.0 11987 457 · 61 since 2021 2026 conflict
Amir Pnueli
dblp:p/AmirPnueli
0.0 11984 186 · 0 since 2021 2019 none
Ruurd Kuiper 0001
dblp:k/RuurdKuiper
0.0 11984 17 · 0 since 2021 2019 none
Howard Barringer
dblp:b/HBarringer
0.0 11984 35 · 0 since 2021 2013 none
Richard E. Ladner
dblp:l/RELadner
0.0 11979 190 · 19 since 2021 2026 verified
Paul F. Reynolds Jr.
dblp:59/5690
0.0 11987 12 · 0 since 2021 2012 none
Scott D. Carson
dblp:00/2841
0.0 11987 6 · 0 since 2021 1995 none
page 1 of 1