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›Computational complexity›complexity of reasoning›first-order model checking topic 21 papers · 47 experts · broader topic added to organise its sub-topics
Experts on first-order model checking 47 · 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
Szymon Torunczyk
dblp:29/7757
4.2 62025 47 · 21 since 2021 2025 verified
Jan Dreier
dblp:151/6308
3.0 42025 27 · 19 since 2021 2026 verified
Nikolas Mählmann
dblp:252/6708
2.2 32024 12 · 12 since 2021 2026 verified
Stéphan Thomassé
dblp:78/5708
1.8 32024 74 · 28 since 2021 2026 corroborated
Édouard Bonnet
dblp:131/6607
1.8 32024 100 · 51 since 2021 2026 verified
Michal Pilipczuk
dblp:61/8036
1.5 22024 205 · 70 since 2021 2026 verified
Ioannis Eleftheriadis
dblp:340/4034
1.4 22024 5 · 5 since 2021 2025 corroborated
Jakub Gajarský
dblp:11/11268
1.2 32024 30 · 13 since 2021 2026 verified
Sebastian Siebertz
dblp:44/11534
1.1 32023 69 · 35 since 2021 2026 verified
Eun Jung Kim 0002
dblp:87/5080-2
1.0 22022 92 · 36 since 2021 2026 conflict
Rémi Watrigant
dblp:116/7602
1.0 22022 38 · 18 since 2021 2026 verified
Patrice Ossona de Mendez
dblp:58/2221
0.8 12024 34 · 8 since 2021 2025 verified
Pierre Simon
dblp:35/9616
0.8 12024 14 · 4 since 2021 2025 corroborated
Marek Sokolowski 0001
dblp:287/4919-1
0.8 12024 18 · 18 since 2021 2026 verified
Ugo Giocanti
dblp:284/9064
0.8 12024 4 · 4 since 2021 2026 verified
Giannos Stamoulis
dblp:244/2361
0.8 12024 30 · 26 since 2021 2026 verified
Rose McCarty
dblp:221/7990
0.8 12024 13 · 13 since 2021 2026 verified
Anuj Dawar
dblp:d/AnujDawar
0.7 12023 106 · 26 since 2021 2026 verified
Manuel Sorge
dblp:54/3371
0.7 12023 72 · 26 since 2021 2026 verified
Paloma T. Lima
dblp:198/0891
0.7 12023 50 · 32 since 2021 2026 verified
Meike Hatzel
dblp:167/4218
0.7 12023 11 · 7 since 2021 2026 verified
Tomás Masarík
dblp:167/4065
0.7 12023 44 · 27 since 2021 2026 verified
Lars Jaffke
dblp:160/8115
0.7 12023 46 · 29 since 2021 2026 verified
Aris Papadopoulos
dblp:144/2791
0.7 12023 1 · 1 since 2021 2023 none
Samuel Braunfeld
dblp:135/8062
0.7 12023 5 · 4 since 2021 2025 verified
Roohani Sharma
dblp:119/4936
0.7 12023 58 · 41 since 2021 2026 verified
Marcin Pilipczuk
dblp:09/4636
0.7 12023 164 · 55 since 2021 2026 verified
Jan Obdrzálek
dblp:61/6452
0.6 32016 27 · 2 since 2021 2024 reported
Petr Hlinený
dblp:53/1317
0.6 32016 89 · 21 since 2021 2026 verified
Martin Grohe
dblp:g/MGrohe
0.5 32017 184 · 42 since 2021 2026 verified
Stephan Kreutzer
dblp:k/StephanKreutzer
0.5 22017 81 · 9 since 2021 2026 verified
Daniel Lokshtanov
dblp:78/67
0.5 22016 314 · 84 since 2021 2026 verified
M. S. Ramanujan 0001
dblp:04/9023
0.5 22016 117 · 38 since 2021 2026 verified
Daniel Král
dblp:k/DanielKarl
0.4 32013 67 · 6 since 2021 2026 verified
Karl Bringmann
dblp:96/2643
0.4 12019 135 · 49 since 2021 2026 verified
Marvin Künnemann
dblp:52/735
0.4 12019 57 · 27 since 2021 2026 verified
Nick Fischer
dblp:228/8075
0.4 12019 40 · 37 since 2021 2026 corroborated
Hubie Chen
dblp:83/3627
0.3 12017 77 · 3 since 2021 2026 corroborated
Zdenek Dvorák 0001
dblp:d/ZdenekDvorak
0.3 22013 50 · 7 since 2021 2023 verified
Robin Thomas 0001
dblp:01/2054
0.3 22013 14 · 0 since 2021 2018 corroborated
page 1 of 2 Next →