Skip to main content
Dr Hana Chockler
Dr Hana Chockler

Dr Hana Chockler

Reader in Computer Science

Research interests

  • Computer science

Biography

Dr Hana Chockler's research interests lie in the area of causal reasoning and explainability. She is interested both in the theoretical concepts and in applications of these concepts to software engineering and machine learning systems (neural networks).

Her current large-scale applied research project is the explainability platform for black-box AI: Causal Responsibility-based Explanations (ReX). She is looking for students and postdoctoral researchers for a variety of projects related to ReX and extending ReX to other domains.

Historically, Hana's interest in causality arose from investigating the reasons and causes for the results of verification of hardware and software systems. She brought the concepts of causality from AI to formal verification and demonstrated their usefulness to the causal analysis and explanations of verification procedures.

In other directions, Dr Chockler has an ongoing research activity in the areas of formal verification, hardware synthesis, and learning for software analysis and exploration.

Her work is supported by the UKRI TAS Node in Governance and Regulation “Better Governance by Design”, UKRI TAS Hub, Royal Society International Exchanges Grant, and Google Faculty Award.

Research interests

  • Explainable AI
  • Actual causality
  • Formal verification and synthesis

Public engagement

Further information

    Research

    FEATURE Finance
    Finance (Informatics)

    The Finance Hub conducts fundamental and applied research at the intersection of finance and computation, a sector which is colloquially known as FinTech.

    hospital-news
    Health (Informatics)

    The Health Hub centres on computational characterisation of medically relevant study cases and data.

    THUMB PAGE Security Cameras
    Security (Informatics)

    The Security Hub consolidates the research related to security

    cyberculture
    King's Cybersecurity Centre

    King's Cybersecurity Centre is an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR). It provides expertise on most areas of cyber security, it has a critical mass of researchers working on three main research themes and their interrelationship.

    Robots in the Department of Informatics
    Trusted Autonomous Systems (Informatics)

    The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.

    ARTICLE Code
    Software Systems

    The group studies design, modelling and engineering of software systems.

    News

    King's part of £80 million boost in AI research to deliver revolutionary new technologies

    Nine research hubs across the UK will help underpin the country’s commitment to leading AI research, innovation and ethical deployment.

    Hana Chockler UKRI

    King's expertise in causal reasoning furthering research in Trusted Autonomous Systems

    Researchers in King’s Software Systems Group and Trusted Autonomous Systems hub are furthering contribution towards the UKRI Trustworthy Autonomous Systems...

    Network

      Research

      FEATURE Finance
      Finance (Informatics)

      The Finance Hub conducts fundamental and applied research at the intersection of finance and computation, a sector which is colloquially known as FinTech.

      hospital-news
      Health (Informatics)

      The Health Hub centres on computational characterisation of medically relevant study cases and data.

      THUMB PAGE Security Cameras
      Security (Informatics)

      The Security Hub consolidates the research related to security

      cyberculture
      King's Cybersecurity Centre

      King's Cybersecurity Centre is an EPSRC-NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR). It provides expertise on most areas of cyber security, it has a critical mass of researchers working on three main research themes and their interrelationship.

      Robots in the Department of Informatics
      Trusted Autonomous Systems (Informatics)

      The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.

      ARTICLE Code
      Software Systems

      The group studies design, modelling and engineering of software systems.

      News

      King's part of £80 million boost in AI research to deliver revolutionary new technologies

      Nine research hubs across the UK will help underpin the country’s commitment to leading AI research, innovation and ethical deployment.

      Hana Chockler UKRI

      King's expertise in causal reasoning furthering research in Trusted Autonomous Systems

      Researchers in King’s Software Systems Group and Trusted Autonomous Systems hub are furthering contribution towards the UKRI Trustworthy Autonomous Systems...

      Network