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›safety verification topic 49 papers · 142 experts
Experts on safety verification 142 · 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
Pascal Baumann 0001
dblp:30/11196
0.9 22026 13 · 12 since 2021 2026 verified
Georg Zetzsche
dblp:24/651
0.9 22026 78 · 40 since 2021 2026 verified
Pavithra Prabhakar
dblp:74/6354
0.9 22024 51 · 10 since 2021 2025 corroborated
Rupak Majumdar
dblp:71/1981
0.8 42022 252 · 59 since 2021 2026 verified
Mira Mezini
dblp:m/MiraMezini
0.8 12024 138 · 31 since 2021 2026 verified
Lan Lu
dblp:92/7133
0.8 12024 9 · 8 since 2021 2026 conflict
Boon Thau Loo
dblp:75/3108
0.8 12024 125 · 27 since 2021 2026 verified
Lipsy Gupta
dblp:383/4475
0.8 12024 3 · 3 since 2021 2025 corroborated
Jahid Chowdhury Choton
dblp:346/1177
0.8 12024 2 · 2 since 2021 2024 corroborated
Julian Haas
dblp:334/9043
0.8 12024 2 · 2 since 2021 2024 corroborated
Brendan Massey
dblp:334/4655
0.8 12024 1 · 1 since 2021 2024 reported
Elena Yanakieva
dblp:290/4178
0.8 12024 2 · 2 since 2021 2024 corroborated
Haoxian Chen 0001
dblp:158/6303-1
0.8 12024 13 · 10 since 2021 2026 conflict
Ragnar Mogk
dblp:152/5833
0.8 12024 8 · 3 since 2021 2024 corroborated
Yuepeng Wang 0001
dblp:133/3844
0.8 12024 25 · 15 since 2021 2025 conflict
Annette Bieniusa
dblp:03/1336
0.8 12024 19 · 5 since 2021 2026 verified
Zachary Kincaid
dblp:61/6578
0.7 12023 38 · 13 since 2021 2026 verified
Nicolas Koh
dblp:230/8074
0.7 12023 3 · 2 since 2021 2023 corroborated
Shaowei Zhu 0001
dblp:159/8704-1
0.7 12023 8 · 6 since 2021 2026 verified
Ori Lahav 0001
dblp:84/7458
0.6 12022 65 · 28 since 2021 2026 verified
Udi Boker
dblp:46/5900
0.6 12022 45 · 15 since 2021 2025 verified
Ramanathan S. Thinniyam
dblp:172/7662
0.6 12022 18 · 14 since 2021 2026 verified
Sriram Sankaranarayanan 0001
dblp:82/1542
0.5 22020 127 · 21 since 2021 2026 conflict
Grigory Fedyukovich
dblp:43/8810
0.5 22025 64 · 26 since 2021 2026 corroborated
James Worrell 0001
dblp:90/2367
0.4 12020 180 · 55 since 2021 2026 verified
Shaull Almagor
dblp:88/8556
0.4 12020 53 · 27 since 2021 2026 verified
Chung-Wei Lin
dblp:87/11
0.4 12020 83 · 29 since 2021 2025 conflict
Bai Xue 0001
dblp:74/2716-1
0.4 12020 42 · 24 since 2021 2026 verified
Qi Zhu 0002
dblp:66/5923-2
0.4 12020 135 · 58 since 2021 2025 conflict
Naijun Zhan
dblp:63/1911
0.4 12020 114 · 51 since 2021 2026 verified
Joël Ouaknine
dblp:55/4663
0.4 12020 156 · 46 since 2021 2026 verified
Shenghua Feng
dblp:232/3100
0.4 12020 9 · 7 since 2021 2026 corroborated
Kai-Chieh Chang
dblp:199/8216
0.4 12020 6 · 3 since 2021 2025 reported
Chao Huang 0015
dblp:18/4087-15
0.4 12020 37 · 21 since 2021 2025 conflict
Mingshuai Chen
dblp:169/1207
0.4 12020 34 · 26 since 2021 2026 conflict
Edon Kelmendi
dblp:140/7385
0.4 12020 14 · 7 since 2021 2025 corroborated
Elvira Albert
dblp:a/ElviraAlbert
0.4 12019 122 · 20 since 2021 2026 verified
Jesús Correas Fernández
dblp:82/4900
0.4 12019 25 · 4 since 2021 2025 corroborated
Albert Rubio
dblp:29/6684
0.4 12019 73 · 15 since 2021 2025 verified
Guillermo Román-Díez
dblp:27/9116
0.4 12019 25 · 5 since 2021 2026 conflict
page 1 of 4 Next →