deep learning, Hyperproperties, Neural Network Verification, Safe Machine Learning, Trustworthy Machine Learning.
