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›Automated reasoning and model checking›model checking›temporal logic model checking›CTL model checking topic 17 papers · 38 experts · broader topic added to organise its sub-topics
Experts on CTL model checking 38 · 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
Krishnendu Chatterjee
dblp:92/5602
0.2 12016 305 · 70 since 2021 2026 conflict
Laurent Doyen 0001
dblp:30/5289-1
0.2 12016 68 · 14 since 2021 2026 conflict
Fabio Somenzi
dblp:62/5300
0.2 22012 162 · 16 since 2021 2026 verified
Markus Lohrey
dblp:76/1674
0.2 12013 151 · 25 since 2021 2026 verified
Stefan Göller
dblp:13/4109
0.2 12013 42 · 6 since 2021 2026 corroborated
Zyad Hassan
dblp:97/3313
0.1 12012 7 · 0 since 2021 2013 none
Tayssir Touili
dblp:23/6190
0.1 12012 67 · 11 since 2021 2026 corroborated
Aaron R. Bradley
dblp:20/1606
0.1 12012 18 · 0 since 2021 2014 none
Fu Song
dblp:09/10016
0.1 12012 88 · 51 since 2021 2026 corroborated
Eric Koskinen
dblp:38/5902
0.1 12011 40 · 12 since 2021 2025 verified
Byron Cook
dblp:36/113
0.1 12011 83 · 5 since 2021 2026 none
Abhay Vardhan
dblp:58/1047
0.1 12005 8 · 0 since 2021 2007 none
Mahesh Viswanathan 0001
dblp:23/2759-1
0.1 12005 128 · 18 since 2021 2025 verified
Radu Siminiceanu
dblp:s/RaduSiminiceanu
0.0 12003 12 · 0 since 2021 2012 none
Gianfranco Ciardo
dblp:c/GianfrancoCiardo
0.0 12003 69 · 7 since 2021 2026 verified
Roderick Bloem
dblp:80/1300
0.0 12000 96 · 20 since 2021 2026 verified
Kavita Ravi
dblp:32/3103
0.0 12000 19 · 0 since 2021 2008 none
Henrik Reif Andersen
dblp:77/4535
0.0 11999 28 · 0 since 2021 2010 none
Jørn Lind-Nielsen
dblp:20/459
0.0 11999 6 · 0 since 2021 2002 none
Thomas R. Shiple
dblp:36/2850
0.0 21994 22 · 0 since 2021 2012 none
Abelardo Pardo
dblp:41/5454
0.0 11998 69 · 4 since 2021 2023 verified
Gary D. Hachtel
dblp:20/674
0.0 11998 60 · 0 since 2021 2006 corroborated
David L. Dill
dblp:d/DavidLDill
0.0 31996 123 · 4 since 2021 2026 verified
Kenneth L. McMillan
dblp:m/KennethLMcMillan
0.0 21990 103 · 10 since 2021 2026 conflict
Edmund M. Clarke
dblp:c/EdmundMClarke
0.0 21990 203 · 0 since 2021 2017 none
Jerry R. Burch
dblp:84/1003
0.0 21990 27 · 0 since 2021 2007 none
Vigyan Singhal
dblp:91/6939
0.0 11994 39 · 0 since 2021 2015 none
Adnan Aziz
dblp:53/5368
0.0 11994 73 · 5 since 2021 2026 corroborated
Robert K. Brayton
dblp:b/RobertKBrayton
0.0 11993 270 · 3 since 2021 2025 verified
Ramin Hojati
dblp:36/4513
0.0 11993 13 · 0 since 2021 2000 none
Robert P. Kurshan
dblp:06/4514
0.0 11993 42 · 0 since 2021 2017 corroborated
Yatin Vasant Hoskote
dblp:24/2333
0.0 11999 11 · 0 since 2021 2009 none
Timothy Kam
dblp:17/5510
0.0 11999 23 · 0 since 2021 2012 none
Pei-Hsin Ho
dblp:15/835
0.0 11999 26 · 1 since 2021 2023 none
Xudong Zhao 0005
dblp:02/735-5
0.0 11999 14 · 0 since 2021 1999 corroborated
L. J. Hwang
dblp:51/6113
0.0 11990 2 · 0 since 2021 1992 none
C. Norris Ip
dblp:47/2168
0.0 11996 9 · 0 since 2021 2005 none
Bernhard Josko
dblp:j/BernhardJosko
0.0 11987 8 · 0 since 2021 2011 none
page 1 of 1