Projects per year
Search results
-
Active
CHAI: CHAI - EPSRC AI Hub for Causality in Healthcare AI with Real Data
Chockler, H. (Primary Investigator), Grigoriadis, A. (Co-Investigator) & He, Y. (Co-Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/02/2024 → 31/01/2029
Project: Research
-
Finished
Better Gover: UKRI Research Node on Trustworthy Autonomous Systems Governance and Regulation: Better Governance by Design
Chockler, H. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/11/2020 → 31/07/2024
Project: Research
-
Trusted Autonomous Systems Hub
Moreau, L. (Primary Investigator), Borgo, R. (Co-Investigator), Ventre, C. (Co-Investigator), Chockler, H. (Co-Investigator), Viganò, L. (Co-Investigator), Devlin, K. (Co-Investigator), Kleinman, M. (Co-Investigator), Aplin, T. (Co-Investigator), Luff, P. (Co-Investigator), Samiolo, R. (Co-Investigator) & Dasgupta, P. (Co-Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/09/2020 → 31/08/2024
Project: Research
-
Learning Design Patterns in Software
Chockler, H. (Primary Investigator)
1/12/2017 → 5/12/2022
Project: Research
-
LEGALCAUSE - Causal Analysis for Attributing Responsibility in Legal Cases
Chockler, H. (Primary Investigator) & Keppens, J. (Co-Investigator)
1/09/2017 → 31/08/2020
Project: Research
-
UPRISE - Unifying Proactive Security for Highly-Connected CPS
Chockler, H. (Primary Investigator)
1/01/2017 → 31/12/2019
Project: Research
-
PRHEA - Proactive Honey Devices in Secure IoT
Chockler, H. (Primary Investigator)
1/06/2016 → 31/05/2019
Project: Research
-
ZENOVER
Chockler, H. (Primary Investigator) & Fernandez, M. (Co-Investigator)
1/01/2016 → 31/12/2018
Project: Research
-
Commitment to Privacy and Trust in Internet of Things Security (ComPaTrIoTS) Research Hub
Dohler, M. (Primary Investigator), Beevers, S. (Co-Investigator), Chockler, H. (Co-Investigator), Curcin, V. (Co-Investigator), Di Matteo, T. (Co-Investigator), Grant, J. (Co-Investigator), Kelly, F. (Co-Investigator), Luff, P. (Co-Investigator), Rid, T. (Co-Investigator), Sastry, N. (Co-Investigator), Viganò, L. (Co-Investigator) & Yeung, K. (Co-Investigator)
1/01/2016 → 1/01/2019
Project: Research
-
Zero-Knowledge Verification - ZENOVER
Chockler, H. (Primary Investigator)
1/05/2015 → 30/04/2018
Project: Research
-
-
Automatic Generation and Refinement of Correctness
Chockler, H. (Primary Investigator)
1/03/2015 → 29/02/2016
Project: Research
-
-
Facilitating Code Merging with User-Defined Abstractions
Chockler, H. (Primary Investigator)
1/01/2014 → 31/12/2014
Project: Research