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.
Software engineering, system software, and programming languages›Programming languages and type systems›program specification›declarative specification topic 8 papers · 35 experts · broader topic added to organise its sub-topics
Experts on declarative specification 35 · 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
Yannis Smaragdakis
dblp:s/YSmaragdakis
0.9 12025 101 · 4 since 2021 2025 verified
Neville Grech
dblp:62/9116
0.9 12025 16 · 3 since 2021 2025 corroborated
Ilias Tsatiris
dblp:280/5671
0.9 12025 4 · 3 since 2021 2025 corroborated
Anastasios Antoniadis
dblp:266/8717
0.9 12025 4 · 2 since 2021 2025 unresolved
Robbert Krebbers
dblp:96/8576
0.4 12020 57 · 34 since 2021 2026 verified
Arjen Rouvoet
dblp:211/9233
0.4 12020 6 · 2 since 2021 2022 corroborated
Hendrik van Antwerpen
dblp:173/9494
0.4 12020 8 · 3 since 2021 2022 verified
Casper Bach
dblp:143/2646
0.4 12020 20 · 11 since 2021 2025 verified
Eelco Visser
dblp:00/5705
0.4 12020 90 · 8 since 2021 2025 verified
Arvind Krishnamurthy
dblp:k/AKrishnamurthy
0.4 22015 173 · 34 since 2021 2026 corroborated
Michael D. Ernst
dblp:e/MDErnst
0.4 22015 157 · 20 since 2021 2026 verified
Ivan Beschastnikh
dblp:98/5324
0.4 22015 65 · 26 since 2021 2026 verified
Yuriy Brun
dblp:51/1518
0.4 22015 80 · 17 since 2021 2026 verified
Jenny Abrahamson
dblp:25/10082
0.4 22015 3 · 0 since 2021 2015 none
Azalea Raad
dblp:84/9528
0.4 12019 44 · 26 since 2021 2026 verified
Ori Lahav 0001
dblp:84/7458
0.4 12019 65 · 28 since 2021 2026 verified
Viktor Vafeiadis
dblp:69/1549
0.4 12019 92 · 25 since 2021 2026 verified
Marko Doko
dblp:173/6746
0.4 12019 4 · 0 since 2021 2019 corroborated
Lovro Rozic
dblp:165/6849
0.4 12019 1 · 0 since 2021 2019 none
Teseo Schneider
dblp:73/7880
0.2 12022 31 · 15 since 2021 2026 verified
Qingnan Zhou
dblp:50/7594
0.2 12022 19 · 11 since 2021 2026 corroborated
Daniele Panozzo
dblp:47/5679
0.2 12022 99 · 29 since 2021 2026 verified
Gurkirat Singh Bajwa
dblp:336/7866
0.2 12022 1 · 1 since 2021 2022 none
Yunfan Zhou
dblp:311/4629
0.2 12022 10 · 10 since 2021 2026 conflict
Jiacheng Dai
dblp:232/6293
0.2 12022 3 · 2 since 2021 2026 conflict
Denis Zorin
dblp:21/2496
0.2 12022 115 · 27 since 2021 2025 corroborated
Zhongshi Jiang
dblp:209/5958
0.2 12022 11 · 5 since 2021 2025 corroborated
Jérémie Dumas
dblp:148/8766
0.2 12022 14 · 5 since 2021 2026 verified
Björn Hartmann
dblp:92/443
0.0 12012 103 · 29 since 2021 2026 verified
Kenrick Kin
dblp:75/7078
0.0 12012 14 · 4 since 2021 2024 corroborated
Maneesh Agrawala
dblp:64/2431
0.0 12012 175 · 41 since 2021 2026 verified
Tony DeRose
dblp:00/1803
0.0 12012 38 · 0 since 2021 2019 none
Clinton L. Jeffery
dblp:j/ClintonLJeffery
0.0 12002 18 · 1 since 2021 2024 verified
Mikhail Auguston
dblp:a/MAuguston
0.0 12002 23 · 0 since 2021 2016 none
Scott Underwood
dblp:39/5885
0.0 12002 1 · 0 since 2021 2002 none
page 1 of 1