Design

Design and Architecture of Data Science Pipelines
We study, design, and analyze the DS pipeline architecture consisting stages such as preprocessing, modeling, training, evaluation, etc.
Design and Architecture of Data Science Pipelines
Safety Assurance of Predictive Systems
We built abstractions of ML systems and inferred preconditions to provide assurance in safety-critical predictions.
Safety Assurance of Predictive Systems
Verifying Neural Networks for Individual Fairness
A modular approach to formally verify neural networks. We specified individual property for SMT solver and verified fairness for specific subpopulations.
Verifying Neural Networks for Individual Fairness