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.
Reviewer bar Area-chair bar
Saved reviewer bar: SIGMOD, VLDB, ICDE, PODS, SIGKDD · junior 2+ first-author in 5y or senior 4+ papers in 5y
1Venues the expert should have published in
The top venues whose papers the expertise taxonomy profiles: ranked A by CCF, A* by ICORE or A by TH-CPL. Expertise profiles are built from papers in these venues only.
No venue ticked: any listed venue counts
Computer architecture / parallel and distributed computing / storage systems 19
CCF A
CCF B
Computer networks 14
CCF A
CCF B
Network and information security 10
CCF A
CCF B
Software engineering / systems software / programming languages 15
CCF A
CCF C
Databases / data mining / content retrieval 12
CCF A
CCF B
Theory of computer science 12
CCF A
CCF B
Computer graphics and multimedia 9
CCF A
CCF B
Artificial intelligence 19
CCF A
CCF B
Human-computer interaction and ubiquitous computing 5
CCF A
CCF B
Interdisciplinary / comprehensive / emerging 8
CCF A
CCF B
4601Applied computing 1
ICORE B
4602Artificial intelligence 10
ICORE A*
4603Computer vision and multimedia computation 7
ICORE A*
4604Cybersecurity and privacy 7
ICORE A*
ICORE A
4605Data management and data science 10
ICORE A*
ICORE A
4606Distributed computing and systems software 21
ICORE A*
ICORE A
ICORE B
4607Graphics, augmented reality and games 3
ICORE A*
4608Human-centred computing 8
ICORE A*
ICORE A
4611Machine learning 9
ICORE A*
ICORE A
4612Software engineering 12
ICORE A*
ICORE A
ICORE B
ICORE C
4613Theory of computation 11
ICORE A*
ICORE A
ICORE B
CSEComputer Systems Engineering 8
ICORE A*
ICORE A
Listed are the profiled venues with papers since 2020. A venue under a lower rank here is top-tier in the list named on it. 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

Artificial intelligence and machine learning 419,855 active · 726,626 total · 856,312 papers NeurIPS · AAAI · ESWA · CVPR · ICML · EAAI Graphics, computer vision, multimedia, augmented reality and games 220,290 active · 419,218 total · 473,177 papers AAAI · ICASSP · MTA · CVPR · INTERSPEECH · ICCV Applied, interdisciplinary, general and emerging computing 306,612 active · 637,688 total · 436,260 papers TGARS · IGARSS · TITS · TII · CogSci · Bioinformatics Systems, architecture and hardware 148,087 active · 345,638 total · 325,499 papers IROS · ICRA · VTC · ISCAS · TJSC · IECON Computer networks 105,468 active · 214,616 total · 249,845 papers IOT · ICC · GLOBECOM · TWC · TCOM · TMC Databases, data management, data science and information retrieval 134,049 active · 269,256 total · 249,104 papers IEEE BigData · CIKM · SIGKDD · TKDE · AEI · SIGIR Theory of computation 38,447 active · 105,648 total · 202,645 papers TIT · TCS · DAM · SODA · STOC · ICALP Human-computer interaction and ubiquitous computing 114,847 active · 268,055 total · 198,672 papers CHI · SMC · TSMC · SIGCSE · PACMHCI · IJHCI Software engineering, systems software and programming languages 76,605 active · 178,952 total · 173,661 papers DATE · COMPSAC · CoDIT · PACM PL · TSC · JSS Security and privacy 57,527 active · 109,981 total · 102,399 papers TIFS · TDSC · USENIX Security · TrustCom · CCS · JISA

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.
Artificial intelligence 231,922 experts · 238,182 papers 33 areas · 23,066 topics Theoretical computer science 84,688 experts · 103,442 papers 15 areas · 12,358 topics Computer architecture, parallel and distributed computing, and storage systems 119,266 experts · 88,175 papers 18 areas · 10,819 topics Computer graphics and multimedia 99,217 experts · 74,150 papers 13 areas · 7,821 topics Computer networks 79,947 experts · 72,281 papers 18 areas · 9,664 topics Databases, data mining, and information retrieval 83,822 experts · 68,869 papers 17 areas · 7,059 topics Network and information security 67,706 experts · 53,290 papers 15 areas · 5,550 topics Interdisciplinary, comprehensive, and emerging computing 111,858 experts · 46,353 papers 9 areas · 5,108 topics Human-computer interaction and pervasive computing 77,670 experts · 43,820 papers 16 areas · 4,757 topics Software engineering, system software, and programming languages 53,122 experts · 40,802 papers 14 areas · 4,459 topics
Software engineering, system software, and programming languages›Program synthesis and code generation›deductive program synthesis topic 30 papers · 58 experts
Experts on deductive program synthesis 58 · 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
Thomas Pressburger
dblp:27/5966
 0.1 22001 16 · 6 since 2021 2023 none
Peter Robinson 0004
dblp:06/5220-4
 0.1 22001 2 · 0 since 2021 2001 corroborated
Steve Roach
dblp:53/5958
 0.0 12002 19 · 0 since 2021 2014 none
Shmuel Sagiv
dblp:s/SSagiv
 0.0 12010 157 · 10 since 2021 2024 verified
Neil Immerman
dblp:i/NeilImmerman
 0.0 12010 82 · 3 since 2021 2024 verified
Sumit Gulwani
dblp:g/SumitGulwani
 0.0 12010 154 · 39 since 2021 2026 verified
Phil Oh
dblp:85/6679
 0.0 12001 1 · 0 since 2021 2001 none
John Penix
dblp:84/3141
 0.0 12001 20 · 0 since 2021 2014 none
Guillaume Brat
dblp:03/3836
 0.0 12001 13 · 0 since 2021 2015 none
Zohar Manna
dblp:m/ZoharManna
 0.0 71992 116 · 0 since 2021 2008 none
Richard J. Waldinger
dblp:48/1801
 0.0 71992 35 · 0 since 2021 2019 none
Enn Tyugu
dblp:t/EnnTyugu
 0.0 11997 28 · 0 since 2021 2015 none
Mihhail Matskin
dblp:m/MihhailMatskin
 0.0 11997 52 · 15 since 2021 2026 verified
Xiaolei Qian
dblp:91/2417
 0.0 11993 31 · 0 since 2021 1997 none
Douglas R. Smith
dblp:73/1174
 0.0 11990 29 · 0 since 2021 2012 corroborated
Bengt Jonsson 0001
dblp:j/BengtJonsson
 0.0 11986 118 · 15 since 2021 2026 verified
David R. Barstow
dblp:35/1087
 0.0 11979 23 · 0 since 2021 1999 none
Cordell Green
dblp:69/2492
 0.0 11977 10 · 0 since 2021 2010 none
← Prev page 2 of 2