Optimizing Big-Data Queries using Program Reasoning

Established: May 1, 2016

Groups

People

Portrait of Kaushik Rajan

Kaushik Rajan

Principal Researcher

Portrait of Akash Lal

Akash Lal

Senior Principal Researcher

Portrait of Aseem Rastogi

Aseem Rastogi

Principal Researcher