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›correctness proof topic 45 papers · 73 experts · broader topic added to organise its sub-topics
Sub-topics 2 · with their number of papers; shaded topics divide further
Experts on correctness proof 73 · 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
Graham Hutton
dblp:80/6729
0.2 12015 59 · 21 since 2021 2026 verified
Jennifer Hackett
dblp:154/2281
0.2 12015 5 · 0 since 2021 2020 none
Simon L. Peyton Jones
dblp:j/SimonLPeytonJones
0.2 12022 164 · 7 since 2021 2025 verified
Andrew W. Fitzgibbon
dblp:f/AndrewWFitzgibbon
0.2 12022 126 · 6 since 2021 2025 verified
Neelakantan R. Krishnaswami
dblp:92/1903
0.2 12022 33 · 10 since 2021 2026 verified
Faustyna Krawiec
dblp:279/2892
0.2 12022 2 · 2 since 2021 2022 corroborated
Tom Ellis
dblp:158/5171
0.2 12022 2 · 2 since 2021 2022 reported
Richard A. Eisenberg
dblp:119/7138
0.2 12022 27 · 9 since 2021 2026 verified
Abu Naser Masud
dblp:38/9126
0.1 12021 14 · 6 since 2021 2023 verified
Björn Lisper
dblp:11/65
0.1 12021 59 · 6 since 2021 2024 corroborated
Anton Deguet
dblp:67/5950
0.1 12012 23 · 1 since 2021 2023 corroborated
Yanni Kouskoulas
dblp:42/9931
0.1 12012 10 · 1 since 2021 2022 verified
Zhong Shao 0001
dblp:399/0945-1
0.1 12012 100 · 27 since 2021 2026 verified
Peter Kazanzides
dblp:14/4502
0.1 12012 81 · 15 since 2021 2025 verified
Limin Jia 0001
dblp:89/161-1
0.1 12020 78 · 32 since 2021 2026 verified
Milijana Surbatovich
dblp:198/3332
0.1 12020 10 · 7 since 2021 2026 corroborated
Brandon Lucia
dblp:18/6801
0.1 12020 56 · 20 since 2021 2026 verified
Sebastiano Peluso
dblp:78/11144
0.1 12017 24 · 1 since 2021 2021 none
Binoy Ravindran
dblp:61/2985
0.1 12017 217 · 34 since 2021 2026 verified
Roberto Palmieri
dblp:09/7950
0.1 12017 73 · 18 since 2021 2026 corroborated
Bodil Biering
dblp:47/6794
0.1 12007 4 · 1 since 2021 2025 reported
Lars Birkedal
dblp:31/910
0.1 12007 153 · 58 since 2021 2026 verified
Noah Torp-Smith
dblp:10/65
0.1 12007 8 · 0 since 2021 2010 none
Nick Benton
dblp:b/NickBenton
0.0 12004 33 · 0 since 2021 2018 none
Bertrand Meyer 0001
dblp:m/BertrandMeyer
0.0 12003 95 · 7 since 2021 2026 verified
Leslie Lamport
dblp:l/LeslieLamport
0.0 21997 86 · 3 since 2021 2025 verified
Catuscia Palamidessi
dblp:p/CPalamidessi
0.0 11997 147 · 35 since 2021 2026 verified
Elena Marchiori
dblp:m/ElenaMarchiori
0.0 11997 81 · 7 since 2021 2024 verified
Maurizio Gabbrielli
dblp:g/MGabbrielli
0.0 11997 87 · 17 since 2021 2026 verified
Frank S. de Boer
dblp:b/DSsBoer
0.0 11997 131 · 12 since 2021 2026 verified
Livio Colussi
dblp:54/3760
0.0 11991 11 · 0 since 2021 2011 none
Janice M. Stone
dblp:41/3063
0.0 11990 5 · 0 since 2021 2000 none
Gilles Bernot
dblp:88/556
0.0 11989 16 · 0 since 2021 2019 corroborated
Xiaolei Qian
dblp:91/2417
0.0 11995 31 · 0 since 2021 1997 none
Robert A. Riemenschneider
dblp:71/5866
0.0 11995 3 · 0 since 2021 1999 none
Mark Moriconi
dblp:51/4652
0.0 11995 8 · 0 since 2021 1997 none
L. Colussi
dblp:32/6485
0.0 11984 1 · 0 since 2021 1984 none
S.-C. Chyou
dblp:12/6059
0.0 11984 1 · 0 since 2021 1984 none
Victor R. Basili
dblp:b/VRBasili
0.0 21982 152 · 2 since 2021 2025 verified
Charles N. Fischer
dblp:f/CNFischer
0.0 11992 32 · 0 since 2021 2009 none
page 1 of 2 Next →