Skip to main content
Lab directory

Prof. Hana Chockler — Research Profile

King's College London · Department of Informatics

Official page

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Oct 31, 2026

Graduate application deadlines

Department of Informatics

  • Computer Science Research MPhil/PhD

    2027-28 (October 2027 entry)

    • Department deadline (funded PhD positions)

      Jan 15, 2027

    • October 2027 entry — Overseas fee status (final)

      Jun 1, 2027

    • Application deadline

      October 2027 entry — Home fee status (final)

      Aug 25, 2027

    Source: kcl.ac.uk/informaticsSource: kcl.ac.uk/studyChecked Nov 2, 2026

Considering this lab for grad school?

Save it to compare side by side with other labs, and keep your contact prep in one place.

What to prepare before emailing a PI

About

Prof. Hana Chockler at King's College London Department of Informatics lists Explainable AI, Actual causality, Formal verification and synthesis as their registered research area.

Research keywords

Explainable AIActual causalityFormal verification and synthesis

Other labs in this department

See all labs in this department