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›Program verification›mechanized verification›mechanized metatheory topic 10 papers · 29 experts · broader topic added to organise its sub-topics
Experts on mechanized metatheory 29 · 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
Ende Jin
dblp:354/1474
1.5 22025 2 · 2 since 2021 2025 corroborated
Yizhou Zhang 0001
dblp:120/2740-1
1.5 22025 16 · 11 since 2021 2026 verified
Jan Hoffmann 0002
dblp:75/425
1.0 12026 55 · 19 since 2021 2026 conflict
Nathaniel Glover
dblp:426/2864
1.0 12026 2 · 2 since 2021 2026 verified
Martin Odersky
dblp:o/MartinOdersky
0.9 12025 86 · 9 since 2021 2026 verified
Oghenevwogaga Ebresafe
dblp:412/7569
0.9 12025 1 · 1 since 2021 2025 reported
Arthur Bright
dblp:412/6705
0.9 12025 1 · 1 since 2021 2025 reported
Charles Jian
dblp:412/6265
0.9 12025 1 · 1 since 2021 2025 reported
Ian Zhao
dblp:412/5793
0.9 12025 1 · 1 since 2021 2025 reported
Cao Nguyen Pham
dblp:400/8095
0.9 12025 1 · 1 since 2021 2025 reported
Yichen Xu 0008
dblp:177/6703-8
0.9 12025 7 · 7 since 2021 2025 conflict
Oliver Bracevac
dblp:169/6790
0.9 12025 12 · 8 since 2021 2025 verified
Ranjit Jhala
dblp:47/4244
0.8 12024 104 · 22 since 2021 2026 verified
Michael Borkowski
dblp:188/1821
0.8 12024 5 · 1 since 2021 2024 conflict
Niki Vazou
dblp:05/10429
0.8 12024 28 · 12 since 2021 2026 verified
Nada Amin
dblp:88/11209
0.7 12023 23 · 9 since 2021 2026 corroborated
Brigitte Pientka
dblp:p/BrigittePientka
0.4 12020 58 · 18 since 2021 2025 verified
Tom Schrijvers
dblp:s/TomSchrijvers
0.2 12013 108 · 25 since 2021 2026 verified
Bruno C. d. S. Oliveira
dblp:20/7796
0.2 12013 84 · 35 since 2021 2026 conflict
Benjamin Delaware
dblp:08/3478
0.2 12013 25 · 16 since 2021 2026 corroborated
Gabriel Dos Reis
dblp:41/1321
0.1 12012 10 · 0 since 2021 2015 corroborated
Tahina Ramananandro
dblp:04/10
0.1 12012 25 · 12 since 2021 2026 verified
Xavier Leroy
dblp:03/352
0.1 12012 63 · 3 since 2021 2026 verified
Christian Urban
dblp:u/ChristianUrban
0.1 12008 28 · 2 since 2021 2023 verified
James Cheney
dblp:96/3253
0.1 12008 83 · 13 since 2021 2025 verified
Stefan Berghofer
dblp:81/3747
0.1 12008 7 · 0 since 2021 2012 none
Robert Harper 0001
dblp:h/RobertHarper
0.1 12007 89 · 12 since 2021 2026 verified
Daniel K. Lee
dblp:94/1432
0.1 12007 2 · 0 since 2021 2007 unresolved
Karl Crary
dblp:82/5193
0.1 12007 38 · 1 since 2021 2025 verified
page 1 of 1