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: SIGIR, WWW, SIGKDD, WSDM, TOIS, ACL +2 · junior 2+ first-author in 5y or senior 5+ papers in 5y · 7,017 experts meet it · 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›Program verification›bounded verification topic 18 papers · 59 experts
Experts on bounded verification 59 · 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
Leihuan Wu
dblp:405/6949
0.9 12025 1 · 1 since 2021 2025 reported
Weiqiang Kong
dblp:10/1991
0.9 12025 40 · 20 since 2021 2026 conflict
Rui Chen 0042
dblp:02/1003-42
0.9 12025 8 · 8 since 2021 2026 conflict
Marcelo F. Frias
dblp:13/1323
0.7 42026 60 · 20 since 2021 2026 verified
Peter Müller 0001
dblp:m/PMuller1
0.7 12023 102 · 36 since 2021 2026 verified
Gaurav Parthasarathy
dblp:255/7215
0.7 12023 6 · 5 since 2021 2025 reported
Thibault Dardinier
dblp:222/3614
0.7 12023 12 · 11 since 2021 2026 verified
Tao Xie 0001
dblp:x/TaoXie
0.6 12022 315 · 91 since 2021 2026 conflict
Yingfei Xiong 0001
dblp:82/2673
0.6 12022 102 · 39 since 2021 2026 conflict
Ruidong Zhu
dblp:282/0660
0.6 12022 7 · 7 since 2021 2026 corroborated
Nicolás Rosner
dblp:94/7855
0.4 32013 18 · 4 since 2021 2023 corroborated
Juan P. Galeotti
dblp:13/4907
0.4 32013 35 · 13 since 2021 2026 corroborated
Jordi Cabot
dblp:18/948
0.4 12019 187 · 54 since 2021 2026 verified
Carlos A. González
dblp:118/8297
0.4 12019 5 · 0 since 2021 2019 corroborated
Robert Clarisó
dblp:07/1881
0.4 12019 36 · 13 since 2021 2026 verified
Hamid Bagheri
dblp:88/2247
0.4 22026 63 · 24 since 2021 2026 conflict
Suresh Jagannathan
dblp:j/SJagannathan
0.3 12018 115 · 17 since 2021 2026 verified
K. C. Sivaramakrishnan
dblp:64/7372
0.3 12018 20 · 6 since 2021 2025 reported
Kapil Earanky
dblp:228/5410
0.3 12018 1 · 0 since 2021 2018 none
Gowtham Kaki
dblp:154/2269
0.3 12018 12 · 6 since 2021 2026 verified
Nazareno Aguirre
dblp:69/610
0.3 12026 73 · 29 since 2021 2026 corroborated
Germán Regis
dblp:33/4870
0.3 12026 22 · 11 since 2021 2026 corroborated
Simón Gutiérrez Brida
dblp:203/0017
0.3 12026 11 · 9 since 2021 2026 corroborated
Ariel Godio
dblp:203/0015
0.3 12026 4 · 3 since 2021 2026 corroborated
ThanhVu Nguyen
dblp:19/7057
0.3 12026 39 · 19 since 2021 2026 corroborated
Carlos López Pombo
dblp:07/1870
0.3 22013 25 · 7 since 2021 2026 verified
Daniel Jackson 0001
dblp:80/1906-1
0.2 22015 72 · 5 since 2021 2024 conflict
Ori Lahav 0001
dblp:84/7458
0.2 12023 65 · 28 since 2021 2026 verified
Viktor Vafeiadis
dblp:69/1549
0.2 12023 92 · 25 since 2021 2026 verified
Michalis Kokologiannakis
dblp:204/3706
0.2 12023 22 · 16 since 2021 2025 verified
Luciano Zemín
dblp:132/2641
0.2 12013 2 · 1 since 2021 2025 corroborated
Santiago Perez De Rosso
dblp:132/2568
0.2 12013 2 · 0 since 2021 2016 corroborated
Santiago Bermúdez
dblp:132/2504
0.2 12013 1 · 0 since 2021 2013 none
Guido Marucci Blas
dblp:132/2404
0.2 12013 1 · 0 since 2021 2013 none
Lucas Pizzagalli
dblp:132/2392
0.2 12013 1 · 0 since 2021 2013 none
Joseph P. Near
dblp:39/5361
0.1 12012 25 · 12 since 2021 2026 verified
Eric Mercer
dblp:m/EricMercer
0.1 12011 32 · 6 since 2021 2025 verified
Topher Fischer
dblp:83/9116
0.1 12011 1 · 0 since 2021 2011 none
Neha Rungta
dblp:66/4832
0.1 12011 37 · 9 since 2021 2025 corroborated
Tevfik Bultan
dblp:07/3368
0.1 12011 124 · 13 since 2021 2025 verified
page 1 of 2 Next →