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.
Computer architecture, parallel and distributed computing, and storage systems›Electronic design automation›model checking›bounded model checking topic 24 papers · 78 experts · broader topic added to organise its sub-topics
Experts on bounded model checking 78 · 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
Hratch Mangassarian
dblp:84/5252
0.1 12010 14 · 0 since 2021 2014 none
Marco Benedetti
dblp:59/4578
0.1 12010 16 · 3 since 2021 2025 conflict
Pranav Ashar
dblp:18/2806
0.1 32005 54 · 0 since 2021 2016 none
Chao Wang 0001
dblp:w/ChaoWang
0.1 32004 123 · 23 since 2021 2026 conflict
Dominik Stoffel
dblp:95/2383
0.1 22007 66 · 16 since 2021 2025 corroborated
Wolfgang Kunz
dblp:69/4734
0.1 22007 88 · 22 since 2021 2026 verified
Markus Wedler
dblp:41/4477
0.1 22007 22 · 0 since 2021 2015 none
Ulrich Kühne
dblp:91/6876
0.1 12008 23 · 3 since 2021 2025 verified
Chris J. Myers
dblp:89/3161
0.1 12008 64 · 3 since 2021 2023 verified
Nicholas Seegmiller
dblp:69/935
0.1 12008 4 · 0 since 2021 2008 none
Daniel Große
dblp:68/758
0.1 12008 142 · 44 since 2021 2026 verified
David Walter
dblp:55/5655
0.1 12008 13 · 0 since 2021 2018 corroborated
Tomohiro Yoneda
dblp:33/5020
0.1 12008 34 · 0 since 2021 2016 none
Scott Little
dblp:32/3844
0.1 12008 12 · 0 since 2021 2012 none
Raik Brinkmann
dblp:98/6600
0.1 12007 2 · 0 since 2021 2020 none
Roland Weiss 0002
dblp:w/RolandJWeiss-2
0.1 12006 4 · 0 since 2021 2012 corroborated
Wolfgang Rosenstiel
dblp:r/WRosenstiel
0.1 12006 206 · 0 since 2021 2020 none
Thomas Kropf
dblp:89/6634
0.1 12006 42 · 3 since 2021 2024 reported
Prakash Mohan Peranandam
dblp:30/4615
0.1 12006 8 · 2 since 2021 2025 none
Jürgen Ruf
dblp:12/6927
0.1 12006 20 · 0 since 2021 2017 none
Pradeep Kumar Nalla
dblp:10/6907
0.1 12006 8 · 1 since 2021 2026 reported
Jason Baumgartner
dblp:90/3109
0.1 12005 40 · 1 since 2021 2024 none
Viresh Paruthi
dblp:37/4979
0.1 12005 16 · 0 since 2021 2015 corroborated
Robert Kanzelman
dblp:14/280
0.1 12005 11 · 1 since 2021 2024 none
Hari Mony
dblp:11/2934
0.1 12005 20 · 0 since 2021 2016 none
Zijiang Yang 0006
dblp:97/3485-6
0.1 22003 102 · 23 since 2021 2026 conflict
Edmund M. Clarke
dblp:c/EdmundMClarke
0.0 12004 203 · 0 since 2021 2017 none
Pankaj Chauhan
dblp:93/4524
0.0 12004 10 · 1 since 2021 2026 conflict
Fabio Somenzi
dblp:62/5300
0.0 12004 162 · 16 since 2021 2026 verified
Gary D. Hachtel
dblp:20/674
0.0 12004 60 · 0 since 2021 2006 corroborated
HoonSang Jin
dblp:12/2963
0.0 12004 17 · 0 since 2021 2011 none
Gianpiero Cabodi
dblp:70/2971
0.0 12002 75 · 4 since 2021 2025 corroborated
Stefano Quer
dblp:58/6767
0.0 12002 63 · 15 since 2021 2026 verified
Paolo Camurati
dblp:12/149
0.0 12002 58 · 4 since 2021 2025 reported
João Marques-Silva 0001
dblp:340/6684-1
0.0 12000 210 · 48 since 2021 2026 verified
Karem A. Sakallah
dblp:34/5374
0.0 12000 122 · 5 since 2021 2025 verified
Andreas Kuehlmann
dblp:k/AndreasKuehlmann
0.0 11999 53 · 0 since 2021 2014 none
Adnan Aziz
dblp:53/5368
0.0 11999 73 · 5 since 2021 2026 corroborated
← Prev page 2 of 2