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›Automated reasoning and model checking›abstraction topic 32 papers · 67 experts
Sub-topics 6 · with their number of papers; shaded topics divide further
Experts on abstraction 67 · 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
Francesco Belardinelli
dblp:59/2916
0.9 22023 68 · 27 since 2021 2026 verified
Giuseppe De Giacomo
dblp:g/GDGiacomo
0.8 12024 231 · 78 since 2021 2026 verified
Yves Lespérance
dblp:74/5003
0.8 12024 50 · 15 since 2021 2026 verified
Shakil M. Khan 0001
dblp:45/4211-1
0.8 12024 23 · 16 since 2021 2026 verified
Maryam Rostamigiv
dblp:263/2404
0.8 12024 5 · 5 since 2021 2025 corroborated
Aniello Murano
dblp:41/1330
0.7 12023 141 · 48 since 2021 2026 verified
Vadim Malvone
dblp:169/0382
0.7 12023 51 · 38 since 2021 2026 verified
Angelo Ferrando 0001
dblp:134/9527
0.7 12023 47 · 41 since 2021 2026 verified
Wojciech Jamroga
dblp:09/966
0.7 12023 50 · 21 since 2021 2026 verified
Viliam Lisý
dblp:76/5110
0.4 12020 32 · 10 since 2021 2025 verified
Branislav Bosanský
dblp:24/5039
0.4 12020 34 · 5 since 2021 2024 verified
Jiri Cermak
dblp:131/5318
0.4 12020 11 · 0 since 2021 2020 none
B. Srivathsan
dblp:86/8295
0.4 22016 31 · 14 since 2021 2026 verified
Frédéric Herbreteau
dblp:51/345
0.4 22016 26 · 5 since 2021 2026 verified
Igor Walukiewicz
dblp:27/7046
0.4 22016 94 · 13 since 2021 2026 corroborated
Taylor T. Johnson
dblp:96/11505
0.2 12016 63 · 29 since 2021 2026 verified
Milan Hladík
dblp:87/5451
0.2 12016 30 · 15 since 2021 2026 corroborated
Khalil Ghorbal
dblp:85/7084
0.2 12016 17 · 2 since 2021 2024 corroborated
Karel Ha
dblp:178/8730
0.2 12016 2 · 1 since 2021 2023 corroborated
Stephen J. Gaukrodger
dblp:178/8679
0.2 12016 1 · 0 since 2021 2016 none
Matej Moravcik
dblp:149/1276
0.2 12016 5 · 0 since 2021 2019 none
Andrew Sogokon
dblp:144/4883
0.2 12016 12 · 2 since 2021 2022 corroborated
Tuomas Sandholm
dblp:s/TuomasSandholm
0.2 12015 269 · 73 since 2021 2026 verified
Alessio Lomuscio
dblp:l/AlessioLomuscio
0.2 12015 119 · 31 since 2021 2025 verified
Davide Grossi
dblp:21/782
0.2 12015 50 · 19 since 2021 2026 verified
Noam Brown
dblp:149/1329
0.2 12015 28 · 12 since 2021 2024 corroborated
Orna Kupferman
dblp:k/OrnaKupferman
0.1 22007 229 · 35 since 2021 2026 verified
Thomas Ball 0001
dblp:296/1574-1
0.1 22007 87 · 8 since 2021 2026 verified
Ashish Tiwari 0001
dblp:t/AshishTiwari
0.1 12011 91 · 17 since 2021 2025 conflict
Sriram Sankaranarayanan 0001
dblp:82/1542
0.1 12011 127 · 21 since 2021 2026 conflict
Patrice Godefroid
dblp:20/1639
0.1 22005 78 · 1 since 2021 2021 none
Thomas A. Henzinger
dblp:h/ThomasAHenzinger
0.1 12009 383 · 69 since 2021 2026 verified
Maria Mateescu
dblp:09/2316
0.1 12009 4 · 0 since 2021 2013 none
Verena Wolf 0001
dblp:04/6065
0.1 12009 22 · 5 since 2021 2025 verified
Kedar S. Namjoshi
dblp:96/6348
0.1 22004 63 · 8 since 2021 2026 corroborated
Patrik Haslum
dblp:39/6592
0.1 12008 36 · 7 since 2021 2025 none
Jörg Hoffmann 0001
dblp:26/836
0.1 12008 130 · 41 since 2021 2026 conflict
Malte Helmert
dblp:21/4581
0.1 12008 73 · 15 since 2021 2025 verified
Shmuel Sagiv
dblp:s/SSagiv
0.1 12007 157 · 10 since 2021 2024 verified
Francesco Ranzato
dblp:r/FRanzato
0.1 12007 71 · 18 since 2021 2026 verified
page 1 of 2 Next →