Interpretability and Fairness in Machine Learning: A Formal Methods Approach

Publication
PhD Thesis, National University of Singapore