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›termination analysis›non-termination proving topic 7 papers · 25 experts · broader topic added to organise its sub-topics
Experts on non-termination proving 25 · 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
Roland Meyer 0001
dblp:86/3051
1.0 12026 65 · 20 since 2021 2026 conflict
Hernán Ponce de León
dblp:57/11444
1.0 12026 22 · 7 since 2021 2026 verified
Andrés Lomelí Garduño
dblp:425/5357
1.0 12026 1 · 1 since 2021 2026 reported
Thomas Haas 0001
dblp:115/7079-1
1.0 12026 7 · 6 since 2021 2026 verified
Peter W. O'Hearn
dblp:o/PeterWOHearn
0.8 12024 78 · 7 since 2021 2025 verified
Azalea Raad
dblp:84/9528
0.8 12024 44 · 26 since 2021 2026 verified
Julien Vanegue
dblp:77/8341
0.8 12024 6 · 4 since 2021 2025 corroborated
Zhilei Han
dblp:305/7244
0.7 12023 5 · 5 since 2021 2026 corroborated
Fei He 0001
dblp:13/6794-1
0.7 12023 66 · 26 since 2021 2026 conflict
Krishnendu Chatterjee
dblp:92/5602
0.5 12021 305 · 70 since 2021 2026 conflict
Petr Novotný 0001
dblp:91/10961
0.5 12021 31 · 13 since 2021 2025 verified
Ehsan Kafshdar Goharshady
dblp:236/5007
0.5 12021 15 · 14 since 2021 2026 verified
Dorde Zikelic
dblp:150/8968
0.5 12021 36 · 33 since 2021 2026 verified
Timos Antonopoulos
dblp:62/6761
0.4 12020 33 · 14 since 2021 2026 corroborated
Eric Koskinen
dblp:38/5902
0.4 12020 40 · 12 since 2021 2025 verified
Parisa Fathololumi
dblp:276/5940
0.4 12020 3 · 2 since 2021 2023 corroborated
ThanhVu Nguyen
dblp:19/7057
0.4 12020 39 · 19 since 2021 2026 corroborated
Ton Chanh Le
dblp:135/6224
0.4 12020 13 · 2 since 2021 2023 corroborated
Andrey Rybalchenko
dblp:r/AndreyRybalchenko
0.1 12008 64 · 1 since 2021 2021 none
Thomas A. Henzinger
dblp:h/ThomasAHenzinger
0.1 12008 383 · 69 since 2021 2026 verified
Rupak Majumdar
dblp:71/1981
0.1 12008 252 · 59 since 2021 2026 verified
Ashutosh Gupta 0001
dblp:65/3925-1
0.1 12008 32 · 11 since 2021 2026 conflict
Ru-Gang Xu
dblp:00/2144
0.1 12008 8 · 0 since 2021 2009 none
Frédéric Mesnard
dblp:17/3038
0.1 12006 28 · 1 since 2021 2025 corroborated
Étienne Payet
dblp:00/5618
0.1 12006 27 · 4 since 2021 2025 corroborated
page 1 of 1