AI & ML interests

Our research focuses on Explainable Artificial Intelligence (XAI), developing rigorous methods for AI verification, interpretation, and control.