Show/hide main menu

Academic Staff A-Z

Dr Hana Chockler

Hana-Chockler-new  

Telephone: +44 020 7848 2928

Email: hana.chockler@kcl.ac.uk

Office: (N)7.07, Bush House, Strand Campus

Research Group:  Software Systems

About

  • Senior Lecturer in Computer Science.

Research Interests

  • Formal verification of hardware
  • Formal verification of software
  • Causality
  • Coverage and vacuity
  • Explanation of counterexamples
  • Software testing

More Information

Sitemap Site help Terms and conditions  Privacy policy  Accessibility  Modern slavery statement  Contact us

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454