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.
EDBT 2026 Demo / recruiting

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.

Recruitment bar

Who qualifies as a reviewer for this venue: pick venues from the rank lists, then set the junior and senior requirements. Each role keeps its own saved bar, which diagnosis and pool planning also use.
Saved reviewer bar: SIGMOD, VLDB, ICDE, PODS, SIGKDD · junior 2+ first-author in 5y or senior 4+ papers in 5y
1Venues the expert should have published in
The top venues whose papers the expertise taxonomy profiles: ranked A by CCF, A* by ICORE or A by TH-CPL. Expertise profiles are built from papers in these venues only.
No venue ticked: any listed venue counts
Computer architecture / parallel and distributed computing / storage systems 19
CCF A
CCF B
Computer networks 14
CCF A
CCF B
Network and information security 10
CCF A
CCF B
Software engineering / systems software / programming languages 15
CCF A
CCF C
Databases / data mining / content retrieval 12
CCF A
CCF B
Theory of computer science 12
CCF A
CCF B
Computer graphics and multimedia 9
CCF A
CCF B
Artificial intelligence 19
CCF A
CCF B
Human-computer interaction and ubiquitous computing 5
CCF A
CCF B
Interdisciplinary / comprehensive / emerging 8
CCF A
CCF B
4601Applied computing 1
ICORE B
4602Artificial intelligence 10
ICORE A*
4603Computer vision and multimedia computation 7
ICORE A*
4604Cybersecurity and privacy 7
ICORE A*
ICORE A
4605Data management and data science 10
ICORE A*
ICORE A
4606Distributed computing and systems software 21
ICORE A*
ICORE A
ICORE B
4607Graphics, augmented reality and games 3
ICORE A*
4608Human-centred computing 8
ICORE A*
ICORE A
4611Machine learning 9
ICORE A*
ICORE A
4612Software engineering 12
ICORE A*
ICORE A
ICORE B
ICORE C
4613Theory of computation 11
ICORE A*
ICORE A
ICORE B
CSEComputer Systems Engineering 8
ICORE A*
ICORE A
Listed are the profiled venues with papers since 2020. A venue under a lower rank here is top-tier in the list named on it. A venue ranked by both catalogues, or filed under several fields, is one entry: ticking any copy ticks them all. Rank labels are the catalogues', not a quality judgement.
2Publication requirement
at least papers as first author in the recent years
at least papers as any author in the recent years
“Recent k years” means papers dated 2026−k+1 or later; 2026 is incomplete in the snapshot and a few journals already date papers 2027. First author = first-listed, not corresponding.

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›Logic in computer science›formal methods topic 46 papers · 95 experts
Sub-topics 3 · with their number of papers; shaded topics divide further
Experts on formal methods 95 · 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
Martin Steffen
dblp:20/4803
0.1 12019 40 · 1 since 2021 2021 reported
Bjørnar Luteberget
dblp:180/3094
0.1 12019 9 · 2 since 2021 2021 corroborated
Jeannette M. Wing
dblp:w/JeannetteMWing
0.1 12009 62 · 0 since 2021 2020 verified
Michael Carl Tschantz
dblp:45/1247
0.1 12009 18 · 0 since 2021 2020 corroborated
Lening Li
dblp:192/7193
0.1 12017 4 · 3 since 2021 2024 conflict
Jie Fu 0002
dblp:16/7565-2
0.1 12017 25 · 12 since 2021 2026 conflict
Sanjit A. Seshia
dblp:s/SanjitASeshia
0.1 12015 179 · 49 since 2021 2026 verified
Raymond E. Miller
dblp:m/RaymondEMiller
0.1 12006 52 · 0 since 2021 2006 none
Ruibing Hao
dblp:51/3072
0.1 12006 20 · 0 since 2021 2008 none
Dongluo Chen
dblp:48/5222
0.1 12006 3 · 0 since 2021 2006 none
Werner Stephan 0001
dblp:151/9339
0.1 12006 14 · 0 since 2021 2007 none
Pedro Cabalar
dblp:48/6264
0.0 12011 76 · 20 since 2021 2025 verified
Paulo E. Santos
dblp:33/5229
0.0 12011 32 · 8 since 2021 2025 verified
Paulo César Masiero
dblp:79/216
0.0 12001 28 · 0 since 2021 2019 verified
Maria Cristina Ferreira de Oliveira
dblp:57/1706
0.0 12001 39 · 2 since 2021 2023 verified
Marcelo A. S. Turine
dblp:07/5454
0.0 12001 4 · 0 since 2021 2008 none
Daniel Balasubramanian
dblp:42/5805
0.0 12009 22 · 4 since 2021 2022 corroborated
Ethan K. Jackson
dblp:16/762
0.0 12009 19 · 0 since 2021 2018 none
Shmuel Katz
dblp:k/ShmuelKatz
0.0 12008 50 · 0 since 2021 2015 corroborated
Véronique Cortier
dblp:65/550
0.0 12008 91 · 12 since 2021 2025 reported
Alan M. Wallington
dblp:w/AlanMWallington
0.0 12007 8 · 0 since 2021 2007 none
Mark Lee 0001
dblp:l/MarkLee
0.0 12007 33 · 14 since 2021 2026 verified
John A. Barnden
dblp:b/JohnABarnden
0.0 12007 33 · 0 since 2021 2018 verified
YingZhou Zhang
dblp:89/5412
0.0 12007 2 · 0 since 2021 2011 corroborated
Rodrigo Agerri
dblp:57/5047
0.0 12007 44 · 24 since 2021 2026 verified
Mathai Joseph
dblp:74/6799
0.0 12005 20 · 0 since 2021 2007 none
Christopher W. Johnson 0001
dblp:40/8339-1
0.0 12005 34 · 1 since 2021 2022 corroborated
Gregor von Bochmann
dblp:b/GvBochmann
0.0 11995 138 · 2 since 2021 2021 verified
Ahmed Khoumsi
dblp:03/6424
0.0 11995 33 · 10 since 2021 2025 corroborated
Ulf Carlsen
dblp:33/5038
0.0 11994 4 · 0 since 2021 2002 none
Trevor J. M. Bench-Capon
dblp:b/TJMBenchCapon
0.0 11991 172 · 17 since 2021 2024 verified
Tom Routen
dblp:45/6288
0.0 11991 7 · 0 since 2021 2019 none
Ed Brinksma
dblp:b/EdBrinksma
0.0 11999 30 · 0 since 2021 2008 none
David Garlan
dblp:01/2201
0.0 11997 121 · 30 since 2021 2025 verified
Yumi Iwasaki
dblp:83/238
0.0 11988 19 · 0 since 2021 2005 none
Inderpal S. Bhandari
dblp:41/1011
0.0 11988 16 · 0 since 2021 1997 none
Indrakshi Ray
dblp:r/IndrakshiRay
0.0 11995 156 · 36 since 2021 2026 verified
Sushil Jajodia
dblp:j/SushilJajodia
0.0 11995 373 · 22 since 2021 2026 verified
Paul Ammann
dblp:a/PAmmann
0.0 11995 65 · 4 since 2021 2024 verified
Brian Ritchie
dblp:59/4884
0.0 11995 3 · 0 since 2021 2007 corroborated
← Prev page 2 of 3 Next →