Dr Hana Chockler Academics Senior Lecturer in Computer Science Research subject areas Computer science Contact details +44 020 7848 2928 hana.chockler@kcl.ac.uk
Synthesizing Reactive Systems Using a Robustness Specification 24 October 2019 Lattice-based SMT for Program Verification 09 October 2019 Function Summarization Modulo Theories 16 November 2018 Lookahead-Based SMT Solving 16 November 2018 Lattice-Based Refinement in Bounded Model Checking 18 July 2018 Timed Vacuity 15 July 2018 Combining Experts' Causal Judgments 02 February 2018 Theory Refinement for Program Verification 09 August 2017 HiFrog: SMT-based Function Summarization for Software Verification 24 April 2017 The computational complexity of structure-based causality 01 February 2017