Hana Chockler

Professor Hana Chockler is a faculty member at the Department of Informatics, King’s College London, affiliated with the Faculty of Natural, Mathematical & Engineering Sciences. Her work bridges causal reasoning, explainable AI, and formal verification.

• PhD: Hebrew University of Jerusalem (2003)
• Prior Roles: IBM Research (2005-2013), WPI/Northeastern Postdoc, MIT CSAIL Visiting Scientist

Research Interests focus on causal analysis for AI explainability, formal verification of software/hardware systems, and machine learning safety. Current projects include the Causal Responsibility-based Explanations (ReX) platform for black-box AI.

Recent Articles highlight causal models in reinforcement learning, explainability for medical AI, and bias detection in neural networks. These span Computer Science, Artificial Intelligence, and Formal Methods.

Scientific Awards:

• UKRI TAS Node in Governance and Regulation
• Royal Society International Exchanges Grant
• Google Faculty Award

Advising & Grants: Actively recruits students/postdocs for ReX projects. Funded by UKRI, EPSRC, and CHAI (Causality in Healthcare AI).

Labs & Teams: Collaborates with King’s Software Systems Group, Trusted Autonomous Systems Hub, and international institutions (Oxford, TU Graz, Technion, Cornell).