Projects EVA: Exploratory Video Analytics EQUITAS: Automated Verification of SQL Query Equivalence APOLLO: Automated Testing of Database Systems ML for Data Integration Data Cleaning for ML Fairness in ML
