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, EDBT, PODS, CIKM +1 · junior 2+ first-author in 5y or senior 4+ papers in 5y
1Venues the expert should have published in
No venue selected
Computer architecture / parallel and distributed computing / storage systems 90
CCF A
CCF B
CCF C
Computer networks 54
CCF A
CCF B
CCF C
Network and information security 58
CCF A
CCF B
CCF C
Software engineering / systems software / programming languages 78
CCF A
CCF B
CCF C
Databases / data mining / content retrieval 62
CCF A
CCF B
CCF C
Theory of computer science 52
CCF A
CCF B
CCF C
Computer graphics and multimedia 53
CCF A
CCF B
CCF C
Artificial intelligence 105
CCF A
CCF B
CCF C
Human-computer interaction and ubiquitous computing 35
CCF A
CCF B
CCF C
Interdisciplinary / comprehensive / emerging 52
CCF A
CCF B
CCF C
46Information and computing sciences 14
ICORE B
ICORE C
0806Information systems 1
ICORE B
4601Applied computing 57
ICORE A
ICORE B
ICORE C
4602Artificial intelligence 117
ICORE A*
ICORE A
ICORE B
ICORE C
4603Computer vision and multimedia computation 51
ICORE A*
ICORE A
ICORE B
ICORE C
4604Cybersecurity and privacy 62
ICORE A*
ICORE A
ICORE B
ICORE C
4605Data management and data science 73
ICORE A*
ICORE A
ICORE B
ICORE C
4606Distributed computing and systems software 151
ICORE A*
ICORE A
ICORE B
ICORE C
4607Graphics, augmented reality and games 25
ICORE A*
ICORE A
ICORE B
ICORE C
4608Human-centred computing 83
ICORE A*
ICORE A
ICORE B
ICORE C
4611Machine learning 48
ICORE A*
ICORE A
ICORE B
ICORE C
4612Software engineering 107
ICORE A*
ICORE A
ICORE B
ICORE C
4613Theory of computation 87
ICORE A*
ICORE A
ICORE B
ICORE C
CSEComputer Systems Engineering 30
ICORE A*
ICORE A
ICORE B
ICORE C
Only venues with papers since 2020 are listed. 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.
Software engineering, system software, and programming languages›Program verification›higher-order program verification topic 7 papers · 23 experts
Experts on higher-order program verification 23 · 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
Steven Ramsay
dblp:16/9032
1.0 22023 20 · 8 since 2021 2026 verified
Eric Koskinen
dblp:38/5902
0.9 12025 40 · 12 since 2021 2025 verified
Mihai Nicola
dblp:358/7507
0.9 12025 2 · 2 since 2021 2025 corroborated
Chaitanya Agarwal
dblp:313/9434
0.9 12025 7 · 7 since 2021 2026 corroborated
Thomas Wies
dblp:23/5398
0.9 12025 69 · 23 since 2021 2026 corroborated
Naoki Kobayashi 0001
dblp:k/NaokiKobayashi
0.8 22023 142 · 27 since 2021 2026 verified
Wei-Ngan Chin
dblp:c/WeiNganChin
0.8 12024 101 · 10 since 2021 2025 corroborated
Darius Foo
dblp:228/5744
0.8 12024 7 · 6 since 2021 2025 corroborated
Yahui Song
dblp:156/1172
0.8 12024 11 · 9 since 2021 2026 corroborated
Takeshi Tsukada
dblp:97/7182
0.7 12023 48 · 21 since 2021 2026 verified
Kento Tanahashi
dblp:316/9984
0.7 12023 1 · 1 since 2021 2023 reported
Jerome Jochems
dblp:300/8943
0.7 12023 1 · 1 since 2021 2023 reported
Ryosuke Sato 0001
dblp:25/9698-1
0.7 12023 30 · 15 since 2021 2026 verified
Eddie Jones
dblp:188/6104
0.7 12023 4 · 4 since 2021 2026 corroborated
Peter Müller 0001
dblp:m/PMuller1
0.5 12021 102 · 36 since 2021 2026 verified
Alexander J. Summers
dblp:76/5160
0.5 12021 37 · 11 since 2021 2025 conflict
Fabian Wolff
dblp:305/0681
0.5 12021 1 · 1 since 2021 2021 none
Aurel Bílý
dblp:304/8368
0.5 12021 3 · 3 since 2021 2025 corroborated
Christoph Matheja
dblp:172/5070
0.5 12021 30 · 16 since 2021 2026 verified
C.-H. Luke Ong
dblp:o/CHLukeOng
0.3 12018 107 · 25 since 2021 2026 verified
Toby Cathcart Burn
dblp:200/7840
0.3 12018 2 · 1 since 2021 2021 none
Tachio Terauchi
dblp:96/889
0.2 12013 43 · 14 since 2021 2026 verified
Hiroshi Unno 0001
dblp:24/6058
0.2 12013 42 · 22 since 2021 2026 verified
page 1 of 1