Dr Hana Chockler
Reader in Computer Science
Research interests
- Computer science
Biography
Research Interests
- Formal verification of hardware
- Formal verification of software
- Causality
- Coverage and vacuity
- Explanation of counterexamples
- Software testing
More Information
Research
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.
Health (Informatics)
The Health Hub centres on computational characterisation of medically relevant study cases and data.
Security (Informatics)
The Security Hub consolidates the research related to security
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.
Trusted Autonomous Systems (Informatics)
The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.
Software Systems
The group studies design, modelling and engineering of software systems.
News
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...
Research
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.
Health (Informatics)
The Health Hub centres on computational characterisation of medically relevant study cases and data.
Security (Informatics)
The Security Hub consolidates the research related to security
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.
Trusted Autonomous Systems (Informatics)
The Trusted Autonomous Systems Hub develops the trustable autonomous systems of tomorrow.
Software Systems
The group studies design, modelling and engineering of software systems.
News
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...