Hana Chockler
Professor of Computer Science · Faculty of Natural, Mathematical and Engineering Sciences · King's College London
Quick answer: Hana Chockler is Professor of Computer Science at King's College London. Hana Chockler shows an active PhD hiring signal as of 2026-09-11.
⭐ I am looking for students and postdoctoral researchers for a variety of projects related to ReX and extending ReX to other domains.
Research interests
Computer science; Explainable AI; Actual causality; Formal verification and synthesis
Selected publications (since 2023)
Causal Explanations for Image Classifiers, with David A. Kelly, Daniel Kroening, and Youcheng Sun, is published in JAIR (2026), 86:9.
Explaining Failures of Cyber-Physical Systems with Actual Causality, with Khen Elimelech, Tom Yaacov, David A. Kelly, and Moshe Y. Vardi, is published in the proceedings of ICRA'26.
Multiple Different Black Box Explanations for Image Classifiers, with David A. Kelly and Daniel Kroening, is accepted to ECAI'25.
I Am Big, You Are Little; I Am Right, You Are Wrong, by David A. Kelly, Akchunya Chanchal, and Nathan Blake, is accepted to ICCV'25.
Explaining Negative Classifications of AI Models in Tumor Diagnosis, with David A. Kelly and Nathan Blake, is accepted to UAI'25.
Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning, wit
Frequently asked questions
Is Hana Chockler hiring PhD students at King's College London?
Yes. As of 2026-09-11, Hana Chockler's faculty page shows a PhD hiring signal: I am looking for students and postdoctoral researchers for a variety of projects related to ReX and extending ReX to other domains..
What does Hana Chockler research?
Computer science; Explainable AI; Actual causality; Formal verification and synthesis
Data last updated: 2026-09-11 · Source: phd-match.com faculty database.
Is Hana Chockler a match for your research?
Upload your CV and get matched to professors who fit — with hiring signals.
Start matching