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›Requirements engineering and software design›formal specification›requirements formalization topic 15 papers · 57 experts · broader topic added to organise its sub-topics
Experts on requirements formalization 57 · 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
Andreas Katis
dblp:159/1609
2.1 32026 6 · 4 since 2021 2026 corroborated
Anastasia Mavridou
dblp:120/6277
2.1 32026 15 · 10 since 2021 2026 verified
Cong Tian 0001
dblp:00/5365-1
1.9 22026 144 · 66 since 2021 2026 verified
Bin Gu 0006
dblp:29/1758-6
1.4 22026 20 · 13 since 2021 2026 conflict
Mengfei Yang
dblp:11/3418
1.4 22026 29 · 18 since 2021 2026 corroborated
Dimitra Giannakopoulou
dblp:39/117
1.1 22022 45 · 7 since 2021 2026 corroborated
Thomas Pressburger
dblp:27/5966
1.1 22022 16 · 6 since 2021 2023 none
Shengchao Qin
dblp:q/ShengchaoQin
1.0 12026 143 · 42 since 2021 2026 verified
Cheng Wen 0002
dblp:62/7258-2
1.0 12026 22 · 17 since 2021 2026 verified
Mari A. Aoki
dblp:436/4423
1.0 12026 1 · 1 since 2021 2026 none
Marie Farrell
dblp:204/9365
1.0 12026 25 · 20 since 2021 2026 verified
Rui Chen 0042
dblp:02/1003-42
1.0 12026 8 · 8 since 2021 2026 conflict
Ming Hu 0003
dblp:82/378-3
0.9 12025 42 · 39 since 2021 2026 conflict
Xu Lu 0003
dblp:53/6317-3
0.9 12025 18 · 13 since 2021 2026 conflict
Yang Liu 0003
dblp:51/3710-3
0.9 12025 609 · 343 since 2021 2026 conflict
Zhi Jin 0001
dblp:22/3510-1
0.9 12025 276 · 149 since 2021 2027 conflict
Weisong Sun
dblp:183/2642
0.9 12025 40 · 35 since 2021 2026 verified
Weikai Miao
dblp:94/4256
0.8 22020 31 · 13 since 2021 2026 conflict
Geguang Pu
dblp:33/1678
0.8 22020 114 · 42 since 2021 2026 verified
Hanyue Zheng
dblp:255/5632
0.8 22020 8 · 5 since 2021 2026 conflict
Jincao Feng
dblp:255/5597
0.8 22020 7 · 4 since 2021 2026 reported
Yihao Huang 0001
dblp:255/5085
0.8 22020 44 · 37 since 2021 2026 verified
Johann Schumann
dblp:s/JohannSchumann
0.6 12022 43 · 5 since 2021 2025 none
Ezio Bartocci
dblp:b/EzioBartocci
0.6 12022 115 · 50 since 2021 2026 verified
Radu Grosu
dblp:94/5421
0.6 12022 112 · 34 since 2021 2026 corroborated
Dejan Nickovic
dblp:60/1425
0.6 12022 75 · 36 since 2021 2025 reported
Haris Isakovic
dblp:123/8074
0.6 12022 9 · 3 since 2021 2024 corroborated
Michael W. Whalen
dblp:70/5189
0.5 22021 57 · 14 since 2021 2026 verified
David Kooi
dblp:298/2531
0.5 12021 1 · 1 since 2021 2021 none
Zheng Wang 0005
dblp:w/ZhengWang5
0.4 12020 15 · 0 since 2021 2020 conflict
Jifeng He 0001
dblp:66/3868
0.4 12020 124 · 6 since 2021 2025 verified
Ting Su 0001
dblp:42/6896-1
0.4 12020 53 · 31 since 2021 2026 conflict
Siyuan Jiang
dblp:84/9918
0.4 12019 21 · 5 since 2021 2025 conflict
Jiayi Zhu 0002
dblp:53/1649-2
0.4 12019 3 · 2 since 2021 2024 verified
Mattias Nyberg
dblp:98/1174
0.2 12014 29 · 9 since 2021 2025 corroborated
Cristina Cerschi Seceleanu
dblp:85/2148
0.2 12014 71 · 24 since 2021 2026 verified
Hans A. Hansson
dblp:65/1154
0.2 12014 65 · 15 since 2021 2025 verified
Henrik Lönn
dblp:63/5205
0.2 12014 19 · 2 since 2021 2024 none
Guillermo Rodríguez-Navas
dblp:55/2025
0.2 12014 37 · 5 since 2021 2024 corroborated
Oscar Ljungkrantz
dblp:41/5481
0.2 12014 11 · 1 since 2021 2024 none
page 1 of 2 Next →