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›Logic in computer science›specification and verification topic 9 papers · 26 experts
Experts on specification and verification 26 · 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
Orna Kupferman
dblp:k/OrnaKupferman
0.2 12016 229 · 35 since 2021 2026 verified
Shaull Almagor
dblp:88/8556
0.2 12016 53 · 27 since 2021 2026 verified
Udi Boker
dblp:46/5900
0.2 12016 45 · 15 since 2021 2025 verified
Philippe Schnoebelen
dblp:s/PhSchnoebelen
0.0 12000 79 · 4 since 2021 2025 verified
François Laroussinie
dblp:15/4811
0.0 12000 42 · 3 since 2021 2025 none
S. Ramesh 0001
dblp:r/SRamesh-1
0.0 11998 26 · 0 since 2021 2007 conflict
Arcot Sowmya
dblp:83/3319
0.0 11998 105 · 32 since 2021 2026 corroborated
Doron A. Peled
dblp:p/DPeled
0.0 11991 118 · 11 since 2021 2025 verified
Amir Pnueli
dblp:p/AmirPnueli
0.0 11991 186 · 0 since 2021 2019 none
Kim G. Larsen
dblp:l/KimGuldstrandLarsen
0.0 11991 302 · 65 since 2021 2026 verified
Shmuel Katz
dblp:k/ShmuelKatz
0.0 11991 50 · 0 since 2021 2015 corroborated
P. M. Melliar-Smith
dblp:m/PMMelliarSmith
0.0 11992 102 · 0 since 2021 2016 none
Louise E. Moser
dblp:m/LEMoser
0.0 11992 106 · 0 since 2021 2016 none
Laura K. Dillon
dblp:d/LKDillon
0.0 11992 45 · 1 since 2021 2021 none
George Kutty
dblp:52/5031
0.0 11992 13 · 0 since 2021 1997 none
Y. S. Ramakrishna
dblp:37/4923
0.0 11992 20 · 0 since 2021 1999 none
Willem P. de Roever
dblp:r/WPdRoever
0.0 11983 36 · 0 since 2021 2010 none
Ron Koymans
dblp:88/473
0.0 11983 5 · 0 since 2021 1996 none
Raymond T. Yeh
dblp:77/385
0.0 11983 41 · 0 since 2021 2005 none
Bo-Shoe Chen
dblp:76/4841
0.0 11983 2 · 0 since 2021 1983 none
Jan Vytopil
dblp:43/1290
0.0 11983 4 · 0 since 2021 1995 none
Daniel Schwabe 0001
dblp:s/DanielSchwabe
0.0 11982 45 · 6 since 2021 2026 conflict
Susan L. Gerhart
dblp:96/1719
0.0 11982 16 · 0 since 2021 1995 none
Roddy W. Erickson
dblp:82/2828
0.0 11982 3 · 0 since 2021 1983 none
Carl A. Sunshine
dblp:09/6115
0.0 11982 19 · 0 since 2021 1995 none
David H. Thompson
dblp:03/4770
0.0 11982 2 · 0 since 2021 1983 none
page 1 of 1