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›Logic in computer science›modal logic›possible-world semantics›kripke semantics topic 15 papers · 29 experts · broader topic added to organise its sub-topics
Experts on kripke semantics 29 · 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
Ian Shillito
dblp:273/6257
0.9 12025 13 · 11 since 2021 2026 verified
Ranald Clouston
dblp:27/6932
0.9 12025 16 · 1 since 2021 2025 none
Jim de Groot
dblp:243/3855
0.9 12025 16 · 12 since 2021 2026 verified
Lutz Straßburger
dblp:83/2410
0.7 12023 47 · 17 since 2021 2026 corroborated
Roman Kuznets
dblp:66/1047
0.7 12023 31 · 14 since 2021 2026 verified
Marianela Morales
dblp:302/7117
0.7 12023 5 · 5 since 2021 2025 none
Marianna Girlando
dblp:188/7073
0.7 12023 15 · 8 since 2021 2025 verified
Sonia Marin
dblp:151/3463
0.7 12023 16 · 12 since 2021 2025 none
Camillo Fiorentini
dblp:56/2765
0.4 12019 30 · 5 since 2021 2025 verified
David J. Pym
dblp:16/3107
0.3 22017 51 · 4 since 2021 2025 verified
Simon Docherty
dblp:181/3384
0.3 12017 8 · 1 since 2021 2021 corroborated
Kohei Suenaga
dblp:82/6723
0.2 12024 48 · 25 since 2021 2026 corroborated
Tetsuya Sato 0001
dblp:43/5246-1
0.2 12024 17 · 9 since 2021 2025 conflict
Yusuke Kawamoto 0001
dblp:13/8409
0.2 12024 23 · 10 since 2021 2026 verified
Dale Miller 0001
dblp:m/DaleMiller
0.2 22013 87 · 11 since 2021 2026 verified
Ori Lahav 0001
dblp:84/7458
0.2 12013 65 · 28 since 2021 2026 verified
Chuck C. Liang
dblp:78/4908
0.2 12013 12 · 0 since 2021 2019 none
Achim Jung
dblp:55/5532
0.2 12013 27 · 1 since 2021 2021 none
Umberto Rivieccio
dblp:18/5028
0.2 12013 26 · 11 since 2021 2026 verified
Alessandra Russo
dblp:79/683
0.1 12012 101 · 30 since 2021 2026 conflict
Moritz Y. Becker
dblp:75/2056
0.1 12012 12 · 0 since 2021 2012 none
Nik Sultana
dblp:72/3034
0.1 12012 19 · 11 since 2021 2025 verified
Daniel Gâinâ
dblp:76/6836
0.1 12020 22 · 7 since 2021 2025 verified
Atsushi Igarashi
dblp:34/589
0.1 12011 73 · 15 since 2021 2026 verified
Kensuke Kojima
dblp:07/10455
0.1 12011 9 · 0 since 2021 2019 corroborated
Joshua S. Hodas
dblp:h/JoshuaSHodas
0.0 11994 4 · 0 since 2021 2000 none
Moshe Y. Vardi
dblp:v/MosheYVardi
0.0 11985 457 · 61 since 2021 2026 conflict
Ronald Fagin
dblp:f/RonaldFagin
0.0 11985 145 · 8 since 2021 2025 verified
Grigori Schwarz
dblp:26/1231
0.0 11992 10 · 0 since 2021 1996 none
page 1 of 1