VLDB 2026 Research / reviewers in the wild / expert
Luke Serafin
dblp:146/0368
· DBLP profile ↗
2ranked-venue papers
1as first author
1since 2021 · last 2026
0009-0004-5189-1429ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Morita Rigidity for Kleene Algebras
Luke Serafin |
RAMICS | 1 |
| 2017 | A Formally Verified Proof of the Central Limit Theorem
Jeremy Avigad, Johannes Hölzl, Luke Serafin |
J. Autom. Reason. | 3 |