Accessibility statement

Prof Ibrahim Habli BSc (AUB), MSc, PhD (York)


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.


Departmental and University Roles

  • Deputy Head of Department (Research)


Contact details

Department of Computer Science
University of York
Deramore Lane
YO10 5GH

Phone: +44 (0)1904 325566

Office: ISA


Research Group: