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.
Theoretical computer science›Logic in computer science›semantics›denotational semantics›full abstraction topic 27 papers · 40 experts · broader topic added to organise its sub-topics
Experts on full abstraction 40 · 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
Simon Perdrix
dblp:58/851
1.0 12026 51 · 21 since 2021 2026 corroborated
Kathleen Barsse
dblp:412/9741
1.0 12026 1 · 1 since 2021 2026 unresolved
Romain Péchoux
dblp:09/4951
1.0 12026 36 · 15 since 2021 2026 verified
Jean Goubault-Larrecq
dblp:g/JGoubaultLarrecq
0.4 12019 55 · 6 since 2021 2025 verified
Andrew M. Pitts
dblp:p/AMPitts
0.2 22014 47 · 2 since 2021 2023 verified
Steffen Lösch
dblp:22/10091
0.2 22014 2 · 0 since 2021 2014 none
Kohei Honda 0001
dblp:38/906-1
0.1 32008 53 · 0 since 2021 2017 none
Samson Abramsky
dblp:a/SamsonAbramsky
0.1 52004 73 · 10 since 2021 2026 verified
C.-H. Luke Ong
dblp:o/CHLukeOng
0.1 32004 107 · 25 since 2021 2026 verified
Martin Berger 0001
dblp:58/204
0.1 12008 25 · 6 since 2021 2025 verified
Nobuko Yoshida
dblp:29/3650
0.1 12008 188 · 49 since 2021 2026 verified
Guy McCusker
dblp:05/4200
0.1 42000 21 · 4 since 2021 2026 corroborated
Dan R. Ghica
dblp:g/DanRGhica
0.0 12004 54 · 14 since 2021 2026 verified
Andrzej S. Murawski
dblp:16/1893
0.0 12004 78 · 16 since 2021 2026 verified
Ian Stark
dblp:08/3395
0.0 12004 23 · 5 since 2021 2025 verified
Marcelo P. Fiore
dblp:39/1403
0.0 21998 50 · 9 since 2021 2026 verified
Radha Jagadeesan
dblp:j/RJagadeesan
0.0 12000 70 · 0 since 2021 2020 none
Martin Hyland
dblp:h/JMEHyland
0.0 12000 22 · 1 since 2021 2025 corroborated
Russell Harmer
dblp:36/1754
0.0 12000 21 · 5 since 2021 2026 verified
Vincent Danos
dblp:31/6599
0.0 12000 53 · 1 since 2021 2025 none
Susan Older
dblp:07/866
0.0 12000 3 · 0 since 2021 2014 none
Pasquale Malacaria
dblp:00/1614
0.0 12000 46 · 9 since 2021 2026 corroborated
Davide Sangiorgi
dblp:s/DavideSangiorgi
0.0 11996 112 · 14 since 2021 2026 verified
Eugenio Moggi
dblp:m/EugenioMoggi
0.0 11996 34 · 3 since 2021 2026 verified
Albert R. Meyer
dblp:m/ARMeyer
0.0 11996 65 · 0 since 2021 2002 conflict
Trevor Jim
dblp:21/2627
0.0 11996 24 · 0 since 2021 2013 none
Joseph Y. Halpern
dblp:h/JosephYHalpern
0.0 11995 330 · 20 since 2021 2025 verified
Edward L. Wimmers
dblp:68/2431
0.0 11995 19 · 0 since 2021 2000 none
Bard Bloom
dblp:87/3474
0.0 21990 26 · 0 since 2021 2012 none
Stephen D. Brookes
dblp:30/3507
0.0 11993 24 · 0 since 2021 2019 corroborated
Matthew Hennessy
dblp:h/MatthewHennessy
0.0 11992 121 · 0 since 2021 2018 none
Luca Aceto
dblp:a/LucaAceto
0.0 11992 136 · 29 since 2021 2026 verified
Pierre-Louis Curien
dblp:26/1816
0.0 11992 43 · 3 since 2021 2024 verified
James R. Russell
dblp:35/2544
0.0 11989 5 · 0 since 2021 1994 none
Carolyn L. Talcott
dblp:t/CarolynLTalcott
0.0 11996 76 · 16 since 2021 2026 verified
Scott F. Smith 0001
dblp:s/ScottFSmith
0.0 11996 43 · 2 since 2021 2024 verified
Ian A. Mason
dblp:22/1572
0.0 11996 25 · 1 since 2021 2022 none
Vijay A. Saraswat
dblp:s/VijayASaraswat
0.0 11991 59 · 0 since 2021 2019 none
Martin C. Rinard
dblp:r/MartinCRinard
0.0 11991 180 · 21 since 2021 2026 verified
Prakash Panangaden
dblp:p/PPanangaden
0.0 11991 127 · 21 since 2021 2026 verified
page 1 of 1