|
Michael Benedikt Professor of Computer Science Department of Computer Science, Oxford University Governing Body Fellow of University College Director of the MSC in Advanced Computer Science . Supplementary program information can be found here . |
|
||
|
Office: 355 Wolfson Building Address: Dept. of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK Tel: +44 (0)1865 273 818 Email: michael.benedikt@cs.ox.ac.uk |
Short Bio
NEW!
My group now has a postdoc position in Computational Logic and Databases open.
Contact me for details.
The complexity of Presburger arithmetic with power or powers
@ ICALP 2023 .
Embedded finite models Beyond Restricted Quantifier Collapse
@ LICS 2023 .
Synthesizing nested relational queries from implicit specifications
@PODS 2023 .
Datalog Rewriting for
Guarded TGDs .
@Datalog 2.0, 2022 .
Rewriting the infinite chase
@VLDB 22 .
TraNCE: Transforming Nested Collections Efficiently
@ VLDB 21.
Generating collection transformations from proofs
@ POPL 21 .
Scalable querying of nested data
@ VLDB 20.
Balancing Expressiveness and Inexpressiveness in View Design
@ KR 20.
On Monotonic Determinacy and Rewritability for Recursive Queries and Views.
@ PODS 20
Two variable logic with ultimately periodic counting.
@ ICALP 20
Reasoning about Disclosure in Data Integration in the Presence of Source Constraints
@ IJCAI 19 .
Goal-Driven Query Answering for Existential Rules with Equality
@ AAAI 18 .
How Can Reasonser Simplify Database Querying (And Why Haven't They Done It Yet)?
@ Invited Paper: PODS 18 .
When Can We Answer Queries Using Result-bounded Data Interfaces?
@ PODS 18 .
Query Reformulation: Theory and Pratice
@ IJCAI 17 .
Characterizing Definability in Decidable Fixpoint Logics
@ ICALP 17 (Best Paper Award
for Track B).
Polynomial Automata: Zeroness and applications
@ LICS 17 .
Benchmarking the Chase
@ PODS 17 .
Online version of Paper.
Github
Source Information Disclosure in Ontology based Data Integration
@ AAAI 17 .
Technical report version (draft)
Our book on the interpolation-based approarch to query reformulation
is now available at Morgan Claypool! See Morgan Claypool's site for more info .
SPARQLByE: Querying RDF data by example
@ VLDB 16 .
Query answering with transitive and linearly-ordered data
@ IJCAI 16 .
Query Visible and Invisible Information
@ LICS 16 .
There is an arxiv version and we have some
additional recent results .
A step up in expressiveness of decidable fixpoint logics
@ LICS 16 .
EPSRC Established Careeer Fellowship 2015-2020
Combining Existential Rules and Description Logics
@ IJCAI 15 .
The Complexity of Boundedness for Guarded Logics
@ LICS 15 .
Interpolation with Decidable Fixpoint Logics
@ LICS 15 .
Finite Open World Querying with Number Restrictions
@ LICS 15 .
Querying with Access Patterns and Integrity Constraints
@ VLDB 15 .
In the coming year, I will be teaching databases and a reading course in automata and logic .
Recent Professional Committees:
Alberto
Mendelzon Test-of-Time Award (Chair of Panel),
EACSL Ackermann Award (Panel Member),
EDBT 19 (Senior Program Committee Member),
IJCAI 19 (Senior Program Committee Member),
LICS 22 (Program Committee Member and Awards Subcommittee Member),
LICS 18 (Program Commitee Member),
SIGMOD 17 (Program Committee Member),
VLDB 17 (Program Committee Member),
CSL 16 (Program Committee Member),
PODS 16 (Program Committee Member),
Workshop on Logic and Computational Complexity
(Steering Committee),
Journal of Symbolic Logic
(Editorial Board),
Journal
of Computer and System Sciences (Associate Editor),
Association For Symbolic Logic
(Chair of Committee on Logic in Europe),
European Association for Theoretical Computer Science (Steering committee member),
European Association for Computer Science Logic (Executive committee member)
Recent/Upcoming Keynote Talks:
The Decision Problem in First-Order Logic (DPFO2023) ,
Reachability Problems (RP 2022) ,
GF@25, 2022 ,
TABLEAUX/FROCOS 2021 ,
Highlights of Logic, Games, and Automata 2020 ,
Principles of Database Systems (PODS 2018) ,
Second-Order Quantifier Elimination (SOQE 2017) ,
Web Age Information Systems (WAIM 2015) ,
International Workshop on Description Logics (DL 2014)
,
Alberto Mendelzon Workshop on Management
of Data (AMW 2014)