Dr Hana Chockler Dr Hana Chockler Academics Supervisors Reader in Computer Science Research subject areas Computer science Contact details +44 020 7848 2928 hana.chockler@kcl.ac.uk
A Causal Analysis of Harm Beckers, S., Chockler, H. & Halpern, J. Y., 10 Oct 2022, (Accepted/In press) 36th Conference on Neural Information Processing Systems (NeurIPS 2022). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review On Testing for Discrimination Using Causal Models Chockler, H. & Halpern, J. Y., 28 Jun 2022, Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22). AAAI Press Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review Ranking Policy Decisions Pouget, H., Chockler, H., Sun, Y. & Kroening, D., Nov 2021, (Accepted/In press) Proceedings of Advances in Neural Information Processing Systems (NeurIPS). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review Explanations for Occluded Images Chockler, H., Kroening, D. & Sun, Y., Oct 2021, (Accepted/In press) Proceedings of International Conference on Computer Vision (ICCV). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review Vacuity in synthesis Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., Sep 2021, In: FORMAL METHODS IN SYSTEM DESIGN. 57, 3, p. 473-495 23 p. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1007/s10703-021-00381-5 Preface of the special issue on the conference on computer-aided verification 2018 Chockler, H. & Weissenbacher, G., Jul 2021, In: FORMAL METHODS IN SYSTEM DESIGN. 57, 1 Research output: Contribution to journal › Editorial › peer-review. DOIs: https://doi.org/10.1007/s10703-021-00365-5 Combining Experts’ Causal Judgments Alrajeh, D., Chockler, H. & Halpern, J. Y., Nov 2020, In: ARTIFICIAL INTELLIGENCE. 288, 103355. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1016/j.artint.2020.103355 Explaining Image Classifiers Using Statistical Fault Localization Sun, Y., Chockler, H., Huang, X. & Kroening, D., 23 Aug 2020, Computer Vision – ECCV 2020 - 16th European Conference, 2020, Proceedings. Vedaldi, A., Bischof, H., Brox, T. & Frahm, J-M. (eds.). Springer, p. 391-406 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12373 LNCS). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1007/978-3-030-58604-1_24 Learning the Language of Software Errors Chockler, H., Kesseli, P., Kroening, D. & Strichman, O., Apr 2020, In: Journal of Artificial Intelligence Research. 67, p. 881-903 23 p. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1613/jair.1.11798 Lattice-based SMT for Program Verification Even Mendoza, K., Hyyvarinen, A., Chockler, H. & Sharygina, N., 9 Oct 2019, MEMOCODE 2019 - 17th ACM-IEEE International Conference on Formal Methods and Models for System Design: 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. ACM, A16 Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review. DOIs: https://doi.org/10.1145/3359986.3361214 View all publications
26 November 2020 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…