Dr. Hana Chockler

Biography

Professor Hana Chockler's research interests lie in causal reasoning and explainability, with a focus on theoretical concepts and their applications in software engineering and machine learning systems, particularly in neural networks. She is currently engaged in a large-scale applied research project on an explainability platform for black-box AI systems, known as Causal Responsibility-based Explanations (ReX). Her work involves extending ReX into various domains and mentoring students and postdoctoral researchers involved in these projects. Historically, her interest in causality emerged from her investigations into the reasons and causes of verification results in hardware and software systems, where she demonstrated the usefulness of causal analysis in verification procedures. Professor Chockler’s ongoing research involves formal verification, hardware synthesis, and learning software analysis. Her work has been supported by multiple prestigious grants, including ones from the UKRI TAS Node Governance Regulation and the Google Faculty Award.

Research Interests

Experience