DAST: Data Systems and Theory Group

Mission of DAST:

  • Understand computational challenges for data processing, and
  • Design simple and scalable solutions towards these challenges.

DAST theoretical research includes the development of novel data processing algorithms and languages along with the analysis of their complexities.

DAST systems research is on building data systems in academia and industry based on well-understood theory.

Current research projects:

Recently completed research projects (at Oxford):

  • Probabilistic Databases
    • Book
    • SPROUT: Probabilistic Query Processing
    • MayBMS: Probabilistic Data Models and Query Languages
    • PPDL: Declarative Probabilistic Programming with Datalog
    • ENFrame: Probabilistic Programming
    • Pigora: Probabilistic Data Integration
  • Datalog Engines