Research output per year
Research output per year
Prof
My expertise is in the design and assurance of safety-critical systems, with a particular focus on AI systems (e.g. for clinical diagnosis and autonomous and connected driving).
I am the Research Director of the Assuring Autonomy International Programme, a £12 million initiative funded by the Lloyd’s Register Foundation and the University of York. I am also the Principal investigator on the UKRI-funded project AR-TAS (Assuring Responsibility for Trustworthy Autonomous Systems) and an investigator on the TAS Node in Resilience (REASON) and the Marie Curie H2020 doctoral training program Safer Autonomous Systems (SAS). I teach extensively on York's postgraduate programme in safety-critical systems engineering.
My work is highly interdisciplinary, with active collaborative links with ethicists, lawyers, clinicians, health scientists and economists. I enjoy empirical and industry-informed research and have coauthored research papers with many engineers including from Rolls-Royce, NASA, Jaguar Land Rover and the NHS. In 2015, I was awarded a Royal Academy of Engineering Industrial Fellowship to collaborate with the National Health Service (NHS) in England on evidence-based means for assuring the safety of digital health systems.
Since 2007, I have been a member of standardisation committees on dependability and safety. I am currently a member of the DS/1 Dependability committee at BSI, the committee on safety case development within the Motor Industry Software Reliability Association (MISRA) and the Goal Structuring Notation (GSN) Standardisation group. I was a member of the Joint EUROCAE/RTCA committee responsible for developing the aerospace guidance DO-178C and a contributor to the UK response to the automotive safety standard ISO-26262.
I previously worked at the Rolls-Royce UTC in Systems and Software Engineering. Prior to that, I was in industry. I worked on a number of large-scale Geographic Information Systems, mainly for water and electrical network infrastructures. In 2009, I completed my PhD in Computer Science from the University of York. The topic of my PhD was model-based assurance of safety-critical product lines.
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Habli, I., McDermid, J. A., Morgan, P. D. J., Noordhof, P. J. P., Porter, Z. & Zimmermann, A.
1/01/22 → 30/06/24
Project: Research project (funded) › Research
Iglesias Urrutia, C. P., Habli, I., Manca, A. & Paterson, C.
1/03/22 → 29/02/24
Project: Research project (funded) › Research
Calinescu, R., Arvind, T., Cavalcanti, A. L. C., Habli, I., Thomas, A. P. & Wilson, J. C.
1/11/20 → 30/04/24
Project: Research project (funded) › Research
Ibrahim Habli (Contributor)
Activity: Other › Media (Press)
Ibrahim Habli (Contributor)
Activity: Other › Media (Press)
Ibrahim Habli (Chair)
Activity: Participating in or organising an event › Festival
Habli, Ibrahim (Recipient), 2010
Prize: Prize (including medals and awards)