King's College London

Research portal

Dr Hana Chockler

Research Students and Staff

CurrentFormer

  1. Jenjira Jaimunk

    Informatics

    A Graph-based Optimising Framework for Data Collection in IoT

    7/11/2016 → …

  2. Karine Even Mendoza First/primary/lead supervisor

    Informatics

    Efficient SMT-Based Verification of Software Programs

    14/12/2015 → …

  3. Kunxiang Jin

    Informatics

    UML-Based Test Cases Selection and Prioritisation in Regression Testing

    15/01/2020 → …

  4. Aqib Rashid

    Informatics

    Exploring defence strategies for coping with adversarial attacks in malware classification

    11/03/2020 → …

  5. Parvin Sadigova First/primary/lead supervisor

    Informatics

    A Quantifier-Free Linear Integer Arithmetic Logic Solver

    2/02/2018 → …

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