ML algorithms with fairness/ privacy/ robustness/ safety guarantees