Hana Chockler
Hana Chockler
Full Professor, Informatics, King's College London, University of London
Joined
March 2017
Names
Emails
****@kcl.ac.uk (Confirmed)
****@causalens.com (Confirmed)
Personal Links
Career & Education History
Full Professor
Informatics, King's College London, University of London (kcl.ac.uk)
2024 – Present
Associate Professor
King's College London (kcl.ac.uk)
2017 – 2024
Assistant Professor
King's College London (kcl.ac.uk)
2013 – 2017
Advisors, Relations & Conflicts
PhD Advisee
Karine Even-Mendoza
2015 – 2019
Expertise
explainable AI
2003 – Present
formal methods
1999 – Present
Publications
Co-Authors
- Akchunya Chanchal
- Alexander Ivrii
- Andre Franca
- Andrew Lawrence
- Bettina Könighofer
- Dalal Alrajeh
- Daniel Kroening
- Daniel McNamee
- David A. Kelly
- Ekaterina Tishchenko
- Francesca Raimondi
- Gadi Aleksandrowicz
- Hadrien Pouget
- Javed Butler
- Jessica Lally
- Joseph Halpern
- Joseph Y. Halpern
- Kaveh Aryan
- Maksim Sipos
- Mark Levin
- Martin Tappler
- Milad Kazemi
- Mohammad Reza Mousavi
- Nathan Blake
- Nicola Paoletti