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, 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›type theory topic 166 papers · 229 experts
Sub-topics 17 · with their number of papers; shaded topics divide further
Experts on type theory 229 · 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
Nicolai Kraus
dblp:02/10549
4.1 62026 25 · 14 since 2021 2026 conflict
Jamie Vicary
dblp:37/9476
2.9 52025 17 · 7 since 2021 2025 corroborated
Ulrik Buchholtz
dblp:188/6106
2.6 32026 11 · 5 since 2021 2026 verified
Tom de Jong
dblp:46/7328
2.5 32026 10 · 8 since 2021 2026 corroborated
Axel Ljungström
dblp:312/2359
2.5 32026 9 · 9 since 2021 2026 verified
Fredrik Nordvall Forsberg
dblp:26/8342
2.5 32026 20 · 9 since 2021 2026 verified
Eric Finster
dblp:150/6786
2.4 52024 5 · 3 since 2021 2024 verified
Loïc Pujet
dblp:256/8966
2.0 22026 9 · 8 since 2021 2026 corroborated
Marcelo P. Fiore
dblp:39/1403
1.9 72025 50 · 9 since 2021 2026 verified
Niels van der Weide
dblp:196/7114
1.9 32025 18 · 16 since 2021 2026 verified
Jonathan Weinberger
dblp:292/3897
1.9 22026 4 · 4 since 2021 2026 corroborated
Daniel Gratzer
dblp:233/0181
1.9 22026 18 · 15 since 2021 2026 verified
Thierry Coquand
dblp:59/3944
1.8 72026 73 · 9 since 2021 2026 verified
Christian Sattler
dblp:86/11439
1.8 22026 14 · 10 since 2021 2026 conflict
David Wärn
dblp:309/4225
1.6 22025 2 · 2 since 2021 2025 corroborated
Chuangjie Xu
dblp:134/4994
1.5 22025 13 · 9 since 2021 2025 conflict
Stian Lasse Lybech
dblp:266/1007
1.5 22024 6 · 6 since 2021 2026 verified
Alex Rice
dblp:154/3422
1.3 22024 4 · 3 since 2021 2026 corroborated
Daniel R. Licata
dblp:47/1513
1.3 62020 27 · 7 since 2021 2023 verified
David Reutter
dblp:209/6254
1.3 32022 6 · 2 since 2021 2022 corroborated
Pierre-Marie Pédrot
dblp:150/6790
1.2 22024 16 · 8 since 2021 2026 verified
Valentin Blot
dblp:59/7355
1.2 32022 10 · 4 since 2021 2024 none
Éric Tanter
dblp:t/EricTanter
1.1 22026 95 · 20 since 2021 2026 verified
Nicolas Tabareau
dblp:56/3285
1.1 22026 51 · 21 since 2021 2026 verified
Stephanie Weirich
dblp:w/StephanieWeirich
1.1 22025 63 · 16 since 2021 2026 verified
Jonathan Chan 0002
dblp:26/4340-2
1.1 22025 5 · 5 since 2021 2026 verified
Samuel Mimram
dblp:99/4962
1.0 22024 32 · 11 since 2021 2026 verified
Robert L. Constable
dblp:c/RobertLConstable
1.0 52019 48 · 1 since 2021 2021 none
Kristina Sojakova
dblp:25/7531
1.0 22022 9 · 3 since 2021 2026 corroborated
Paige Randall North
dblp:223/9888
1.0 22022 11 · 9 since 2021 2026 verified
Benedikt Ahrens
dblp:12/8910
1.0 22022 27 · 16 since 2021 2026 verified
Owen Milner
dblp:441/7263
1.0 12026 2 · 2 since 2021 2026 unresolved
Aref Mohammadzadeh
dblp:430/9793
1.0 12026 1 · 1 since 2021 2026 unresolved
Perry Hart
dblp:393/0519
1.0 12026 3 · 3 since 2021 2026 unresolved
Yann Leray
dblp:384/4150
1.0 12026 5 · 5 since 2021 2026 corroborated
Andrea Laretto
dblp:342/4010
1.0 12026 4 · 4 since 2021 2026 corroborated
Thiago Felicissimo
dblp:319/9743
1.0 12026 10 · 10 since 2021 2026 verified
Jonas Höfer
dblp:314/5725
1.0 12026 3 · 3 since 2021 2026 corroborated
Richard Dapoigny
dblp:24/1348
1.0 12026 14 · 1 since 2021 2026 none
Fosco Loregiàn
dblp:177/4864
1.0 12026 5 · 5 since 2021 2026 verified
page 1 of 6 Next →