DAST: Data Systems and Theory Group


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

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

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

Current research projects:

Recently completed research projects:

  • 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