Computational complexity theory and adversarial cryptography (as discussed by Shafi Goldwasser at the institute) have relevance to AI safety: adversarial models from cryptography can be applied to validity testing and robustness of AI systems.