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›Programming languages and type systems›specification language›formal specification languages topic 16 papers · 39 experts · broader topic added to organise its sub-topics
Experts on formal specification languages 39 · 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
Arthur Charguéraud
dblp:55/5002
0.4 12019 33 · 6 since 2021 2026 corroborated
Cláudio Belo Lourenço
dblp:153/2527
0.4 12019 10 · 5 since 2021 2026 verified
Mário Pereira
dblp:148/4309
0.4 12019 9 · 6 since 2021 2026 conflict
Jean-Christophe Filliâtre
dblp:06/423
0.4 12019 26 · 5 since 2021 2025 none
Artur Oliveira Gomes
dblp:85/7506
0.2 22019 3 · 0 since 2021 2019 corroborated
Andrew Butterfield
dblp:35/6105
0.2 22019 25 · 1 since 2021 2021 corroborated
Taro Kurita
dblp:95/4003
0.1 12008 3 · 0 since 2021 2016 none
Miki Chiba
dblp:74/148
0.1 12008 1 · 0 since 2021 2008 none
Yasumasa Nakatsugawa
dblp:55/1262
0.1 12008 1 · 0 since 2021 2008 none
Joost-Pieter Katoen
dblp:k/JoostPieterKatoen
0.1 12006 259 · 74 since 2021 2026 verified
Holger Hermanns
dblp:h/HolgerHermanns
0.1 12006 171 · 30 since 2021 2026 verified
Graeme Smith 0001
dblp:67/2595
0.1 12006 63 · 10 since 2021 2026 verified
Pedro R. D'Argenio
dblp:61/441
0.1 12006 47 · 10 since 2021 2026 verified
Tim McComb
dblp:54/6422
0.1 12006 9 · 0 since 2021 2009 none
Henrik C. Bohnenkamp
dblp:40/3449
0.1 12006 10 · 0 since 2021 2010 none
Axel van Lamsweerde
dblp:71/4758
0.1 12014 48 · 1 since 2021 2025 corroborated
Christophe Damas
dblp:68/5066
0.1 12014 5 · 0 since 2021 2014 none
Bernard Lambeau
dblp:34/1185
0.1 12014 5 · 0 since 2021 2014 none
Nancy G. Leveson
dblp:l/NGLeveson
0.0 12002 38 · 2 since 2021 2025 verified
Marc K. Zimmerman
dblp:62/3001
0.0 12002 1 · 0 since 2021 2002 none
Kristina Lundqvist
dblp:53/2238
0.0 12002 32 · 5 since 2021 2024 corroborated
Jing Sun 0002
dblp:s/JingSun2
0.0 12001 90 · 21 since 2021 2026 conflict
Jin Song Dong 0001
dblp:64/7695-1
0.0 12001 272 · 86 since 2021 2026 verified
Hai H. Wang
dblp:45/1539
0.0 12001 47 · 4 since 2021 2025 conflict
Gunter Saake
dblp:s/GunterSaake
0.0 11996 168 · 31 since 2021 2026 verified
Thorsten Hartmann
dblp:25/3237
0.0 11996 7 · 0 since 2021 1996 none
Ralf Jungclaus
dblp:07/6103
0.0 11996 7 · 0 since 2021 1996 none
Cristina Sernadas
dblp:06/3694
0.0 11996 31 · 2 since 2021 2022 verified
Yoonsik Cheon
dblp:75/4999
0.0 11994 19 · 5 since 2021 2025 none
Gary T. Leavens
dblp:66/2755
0.0 11994 58 · 7 since 2021 2024 verified
Catherine Meadows 0001
dblp:99/395
0.0 11991 68 · 4 since 2021 2024 corroborated
Bernd J. Krämer
dblp:k/BJKramer
0.0 11987 30 · 0 since 2021 2013 verified
Walt Scacchi
dblp:s/WaltScacchi
0.0 11986 34 · 0 since 2021 2016 verified
Aldo Castillo
dblp:56/1456
0.0 11986 1 · 0 since 2021 1986 none
Sean Corcoran
dblp:34/5558
0.0 11986 1 · 0 since 2021 1986 none
Maurice van Keulen
dblp:k/MauricevanKeulen
0.0 11994 38 · 6 since 2021 2026 verified
Jan Flokstra
dblp:f/JanFlokstra
0.0 11994 12 · 1 since 2021 2024 none
Jacek Skowronek
dblp:61/4013
0.0 11994 3 · 0 since 2021 2013 none
Richard Platek
dblp:44/2982
0.0 11984 2 · 0 since 2021 1994 none
page 1 of 1