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›infinite-state model checking›parameterized model checking topic 13 papers · 28 experts · broader topic added to organise its sub-topics
Experts on parameterized model checking 28 · 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
Josef Widder
dblp:15/3339
1.1 42022 55 · 11 since 2021 2023 verified
Igor Konnov 0001
dblp:00/1088
1.1 42022 34 · 12 since 2021 2026 verified
Nathalie Bertrand 0001
dblp:b/NathalieBertrand1
0.6 12022 64 · 17 since 2021 2026 verified
Pierre Tholoniat
dblp:249/2212
0.6 12022 9 · 8 since 2021 2025 corroborated
Marijana Lazic
dblp:185/0660
0.6 12022 15 · 7 since 2021 2023 verified
Vincent Gramoli
dblp:11/171
0.6 12022 90 · 31 since 2021 2026 verified
Helmut Veith
dblp:v/HelmutVeith
0.6 32017 92 · 0 since 2021 2020 none
Jörg Flum
dblp:55/2850
0.4 22018 52 · 4 since 2021 2025 none
Yijia Chen 0001
dblp:98/4032-1
0.3 12018 46 · 8 since 2021 2025 conflict
Alessio Lomuscio
dblp:l/AlessioLomuscio
0.2 12016 119 · 31 since 2021 2025 verified
Panagiotis Kouvaros
dblp:125/2198
0.2 12016 24 · 12 since 2021 2025 verified
Javier Esparza
dblp:e/JEsparza
0.2 22015 183 · 30 since 2021 2026 verified
Fatiha Zaïdi
dblp:91/3486
0.2 12015 24 · 3 since 2021 2024 corroborated
Antoine Durand-Gasselin
dblp:85/8371
0.2 12015 6 · 0 since 2021 2017 none
Rupak Majumdar
dblp:71/1981
0.2 12015 252 · 59 since 2021 2026 verified
Sylvain Conchon
dblp:30/1882
0.2 12015 20 · 2 since 2021 2023 none
Pierre Ganty
dblp:16/5983
0.2 12015 54 · 12 since 2021 2026 verified
Alain Mebsout
dblp:116/4639
0.2 12015 6 · 0 since 2021 2017 none
E. Allen Emerson
dblp:e/EAllenEmerson
0.1 22003 82 · 0 since 2021 2014 none
Philippe Schnoebelen
dblp:s/PhSchnoebelen
0.1 12005 79 · 4 since 2021 2025 verified
Denis Lugiez
dblp:l/DenisLugiez
0.1 12005 31 · 0 since 2021 2017 none
Ulrich Schmid 0001
dblp:57/3614-1
0.0 12013 100 · 21 since 2021 2026 verified
Annu John
dblp:120/7302
0.0 12013 3 · 0 since 2021 2013 none
Vineet Kahlon
dblp:64/3264
0.0 12003 25 · 0 since 2021 2013 none
Martin Grohe
dblp:g/MGrohe
0.0 12001 184 · 42 since 2021 2026 verified
Alain Finkel
dblp:f/AlainFinkel
0.0 11999 86 · 15 since 2021 2025 conflict
Richard Mayr
dblp:81/113
0.0 11999 68 · 8 since 2021 2026 corroborated
Kedar S. Namjoshi
dblp:96/6348
0.0 11998 63 · 8 since 2021 2026 corroborated
page 1 of 1