Michael Benedikt
Professor of Computer Science
Applies logical methods to data management and the foundations of AI, including query answering with existential rules and the asymptotic expressiveness of graph neural networks.
Michael Benedikt's lab at Oxford works on graph learning, reasoning & neuro-symbolic AI and data management & big data. 9 papers since 2023, 1 at top venues, mostly KR and NeurIPS. 1 PhD student. 30 alumni. Applications close .
At a glance
- papers, 2023–2026
- 2/ year
- at T1 venues
- 11%
- PhD students
- 1
- MS students
- 0
- alumni listed
- 30
Papers by yearfrom the lab homepage, 2023–2026
- 2 papers2026 · T1 0 · collecting
- 1 papers2025 · T1 0
- 3 papers2024 · T1 1
- 3 papers2023 · T1 0
T1 venuesOtherVenues: KR, NeurIPS
Research focuspaper titles that use each topic's words
- Graph learning3 papers
- rules1 paper
- Reasoning & neuro-symbolic AI0 papers
- Data management & big data0 papers
- query0 papers
Paper list
From the lab homepage.
20262 papers
- CSLAnalysis of Logics with arithmetic (with Chia-Hsuan Lu and Tony Tan)
- TACASLightweight Robustness Verification for Graph Neural Networks (with Chia-Hsuan Lu and Tony Tan)
20251 paper
- LICSConvergence Laws for Extensions of First-Order Logic with Averaging (with Sam Adam-Day and Alberto Laurrari)
20243 papers
- NeurIPS (T1)Almost Surely Asymptotically Constant Graph Neural Networks
- ICALPDecidability of Graph Neural Networks via Logical Characterizations
- KRMonotone Rewritability and the Analysis of Queries, Views, and Rules
20233 papers
- LICSEmbedded finite models Beyond Restricted Quantifier Collapse
- PODSSynthesizing nested relational queries from implicit specifications
- ICALPThe complexity of Presburger arithmetic with power or powers
Where alumni went30 listed
Apply to Oxford2027-28
DPhil in Computer Science
- Round
- 2027-28 entry (January round)
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- USNYU
Andrew Gordon Wilson
- Probabilistic & causal inference
- USCMU
Gauri Joshi
- Learning theory & optimization
- USCMU
Larry Wasserman
- Learning theory & optimization
- CNTsinghua
Peng Cui
- Probabilistic & causal inference
- CNPeking
Yu Liu
- Time series, anomaly & spatio-temporal data
- CNPeking
Muhan Zhang
- Graph learning
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
Oxfordcloses