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
On Testing for Discrimination Using Causal Models Chockler, H. & Halpern, J. Y., 2022, (E-pub ahead of print) Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22). 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 Synthesizing reactive systems using robustness and recovery specifications Bloem, R., Chockler, H., Ebrahimi, M. & Strichman, O., 1 Oct 2019, Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019. Barrett, C. & Yang, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 147-151 5 p. 8894276 Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.23919/FMCAD.2019.8894276 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…