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.
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 →