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.
Theoretical computer science›Automated reasoning and model checking›model checking›software model checking topic 14 papers · 44 experts
Sub-topics 1 · with their number of papers; shaded topics divide further
Experts on software model checking 44 · 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
Yannik Schnitzer
dblp:288/1275
0.8 12024 6 · 6 since 2021 2026 verified
Alessandro Abate
dblp:19/3904
0.8 12024 100 · 61 since 2021 2026 verified
Mirco Giacobbe
dblp:134/7846
0.8 12024 21 · 15 since 2021 2026 verified
Sagar Chaki
dblp:79/5752
0.4 22014 65 · 1 since 2021 2022 none
Arie Gurfinkel
dblp:44/3532
0.4 22014 121 · 30 since 2021 2026 verified
Anvesh Komuravelli
dblp:10/6764
0.4 22014 14 · 0 since 2021 2016 verified
Alberto Griggio
dblp:19/3686
0.3 22012 81 · 34 since 2021 2026 verified
Alessandro Cimatti
dblp:13/5961
0.3 22012 219 · 61 since 2021 2026 verified
Andreas Podelski
dblp:p/APodelski
0.2 12015 147 · 19 since 2021 2026 verified
Daniel Dietsch
dblp:59/9798
0.2 12015 33 · 11 since 2021 2026 verified
Matthias Heizmann
dblp:52/7224
0.2 12015 41 · 13 since 2021 2026 verified
Vincent Langenfeld
dblp:165/2691
0.2 12015 11 · 6 since 2021 2026 verified
Joanne M. Atlee
dblp:a/JMAtlee
0.2 22010 49 · 5 since 2021 2024 verified
Ali Taleghani
dblp:99/5934
0.2 22010 4 · 0 since 2021 2010 none
Edmund M. Clarke
dblp:c/EdmundMClarke
0.2 12013 203 · 0 since 2021 2017 none
Karen Yorav
dblp:y/KarenYorav
0.1 12012 21 · 0 since 2021 2018 none
Orna Grumberg
dblp:g/OrnaGrumberg
0.1 12012 120 · 6 since 2021 2025 verified
Yael Meller
dblp:80/7447
0.1 12012 4 · 0 since 2021 2016 none
Andrea Micheli
dblp:84/7880
0.1 12011 44 · 22 since 2021 2026 conflict
Marco Roveri
dblp:83/563
0.1 12011 95 · 22 since 2021 2026 verified
Iman Narasamdya
dblp:51/5148
0.1 12011 12 · 0 since 2021 2014 none
Matthew B. Dwyer
dblp:d/MatthewBDwyer
0.1 22005 129 · 29 since 2021 2025 verified
Robby
dblp:98/4700
0.1 22005 42 · 9 since 2021 2025 none
John Hatcliff
dblp:52/5739
0.1 22005 68 · 13 since 2021 2025 corroborated
Tim Teitelbaum
dblp:t/TimTeitelbaum
0.1 12005 19 · 0 since 2021 2005 none
Thomas W. Reps
dblp:r/TWReps
0.1 12005 209 · 37 since 2021 2026 verified
David Melski
dblp:97/6582
0.1 12005 12 · 0 since 2021 2019 none
Junghee Lim
dblp:94/2026
0.1 12005 15 · 1 since 2021 2025 none
Gogul Balakrishnan
dblp:86/5106
0.1 12005 25 · 0 since 2021 2020 corroborated
Suan Hsi Yong
dblp:79/2185
0.1 12005 6 · 0 since 2021 2005 none
Matthew Hoosier
dblp:72/5926
0.1 12005 3 · 0 since 2021 2006 none
Akash Lal
dblp:27/1008
0.1 12005 62 · 18 since 2021 2026 corroborated
Radu Gruian
dblp:12/3292
0.1 12005 2 · 0 since 2021 2005 none
Nicholas Kidd
dblp:12/1884
0.1 12005 13 · 0 since 2021 2019 none
Yichen Xie 0001
dblp:x/YichenXie
0.0 12004 12 · 0 since 2021 2007 corroborated
Sriram K. Rajamani
dblp:r/SriramKRajamani
0.0 12004 92 · 3 since 2021 2023 verified
Jakob Rehof
dblp:r/JakobRehof
0.0 12004 39 · 3 since 2021 2026 verified
Shaz Qadeer
dblp:q/ShazQadeer
0.0 12004 106 · 6 since 2021 2026 none
Tony Andrews
dblp:04/4098
0.0 12004 2 · 0 since 2021 2004 none
Dawson R. Engler
dblp:e/DREngler
0.0 12002 61 · 0 since 2021 2020 none
page 1 of 2 Next →