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›knowledge representation and reasoning›situation calculus topic 16 papers · 24 experts · broader topic added to organise its sub-topics
Experts on situation calculus 24 · 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
Yves Lespérance
dblp:74/5003
1.6 42026 50 · 15 since 2021 2026 verified
Daxin Liu 0002
dblp:56/4777-2
1.5 22025 14 · 11 since 2021 2026 conflict
Shakil M. Khan 0001
dblp:45/4211-1
1.2 22026 23 · 16 since 2021 2026 verified
Mohammad Hossein Karimian
dblp:411/9089
1.0 12026 1 · 1 since 2021 2026 none
Jens Claßen
dblp:85/1549
0.9 22025 20 · 6 since 2021 2025 verified
Gerhard Lakemeyer
dblp:l/GerhardLakemeyer
0.8 32023 131 · 27 since 2021 2026 verified
Vaishak Belle
dblp:52/570
0.7 12023 79 · 36 since 2021 2026 verified
Qihui Feng
dblp:290/1530
0.7 12023 6 · 6 since 2021 2026 conflict
Rui Zhao 0009
dblp:26/2578-9
0.5 12021 8 · 7 since 2021 2026 verified
Yongmei Liu 0001
dblp:73/4188-1
0.5 22019 46 · 15 since 2021 2026 conflict
Kailun Luo
dblp:246/3135
0.4 12019 6 · 4 since 2021 2025 none
Giuseppe De Giacomo
dblp:g/GDGiacomo
0.4 22026 231 · 78 since 2021 2026 verified
Mikhail Soutchanski
dblp:79/906
0.3 12018 15 · 1 since 2021 2022 reported
Vitaliy Batusov
dblp:213/4982
0.3 12018 1 · 0 since 2021 2018 none
Matteo Mancanelli
dblp:358/9184
0.3 12026 4 · 4 since 2021 2026 reported
Yuxiao Hu 0002
dblp:69/4020-2
0.2 22011 4 · 0 since 2021 2011 corroborated
Hector J. Levesque
dblp:l/HJLevesque
0.2 22011 105 · 2 since 2021 2026 none
Fabio Patrizi
dblp:79/782
0.1 12016 61 · 25 since 2021 2026 verified
Sebastian Sardiña
dblp:09/129
0.1 12016 56 · 16 since 2021 2026 verified
Eugenia Ternovska
dblp:t/EugeniaTernovska
0.1 12007 28 · 5 since 2021 2026 verified
Marc Denecker
dblp:d/MarcDenecker
0.1 12007 104 · 9 since 2021 2024 verified
Michael Thielscher
dblp:t/MichaelThielscher
0.0 12006 78 · 9 since 2021 2026 verified
Thomas Witkowski
dblp:21/5482
0.0 12006 2 · 0 since 2021 2007 none
Michael J. Almeida
dblp:22/5056
0.0 11992 2 · 0 since 2021 1997 unresolved
page 1 of 1