Accessibility statement

High Integrity Systems Engineering

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


My interests are in the design and assurance of safety-critical systems, with a particular emphasis on Digital Health (e.g. ePrescribing and self-management apps) and AI systems (e.g. for clinical diagnosis and autonomous and connected driving).

In 2015, I was awarded a Royal Academy of Engineering Industrial Fellowship to collaborate with the NHS and NHS Digital on evidence-based means for assuring the safety of digital health systems.

I teach extensively on York's postgraduate programme in safety-critical systems engineering. I am an academic lead on the Assuring Autonomy International Programme, a £12 million initiative funded by the Lloyd’s Register Foundation and the University of York. I am also an investigator on the TAS Node in Resilience (REASON) and the Marie Curie H2020 doctoral training program Safer Autonomous Systems (SAS).

My work is highly interdisciplinary, with active collaborative links with clinicians, health scientists, economists and ethicists. I enjoy empirical and industry-informed research and have coauthored research papers with many engineers including from Rolls-Royce, NASA, Jaguar Land Rover, MIRA, Airservices Australia and the Irish Aviation Authority.

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 University Technology Centre in Systems and Software Engineering (UTC). 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

  • Chair of Research Studies Committee
  • Deputy Head of Department (Research)


Contact details

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

Phone: +44 (0)1904 325566

Office: CSE/039


Research Groups: