Ibrahim Habli

Associate Professor / Senior Lecturer in Safety-Critical Systems

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 (featured here: Patient safety and digital technologies: A software engineer’s adventures in healthcare)

I teach extensively on York's postgraduate programme in safety-critical systems engineering. I am currently the Chair of Research Studies in Computer Science. I am also 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.

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.

Selected Publications

  1. BulletIbrahim Habli, Yan Jia, Sean White, George Gabriel, Tom Lawton, Mark Sujan, Clive Tomsett, Development and Piloting of a Software Tool to Facilitate Proactive Hazard and Risk Analysis of Health IT, Health Informatics Journal, In Press

  2. BulletDe Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Parker, D., Habli, I. & Kelly, T. P, Variability management in safety-critical systems design & dependability analysis, Journal of Software: Evolution and Process, In Press

  3. BulletIbrahim Habli, Sean White, Mark Sujan, Stuart Harrison, Marta Ugarte: What is the Safety Case for Health IT? A Study of Assurance Practices in England, Safety science Journal, Volume 110, Part A, December 2018

  4. BulletDelgado-Perez, P., Habli, I., Gregory, S., Alexander, R., Clark, J. & Medina-Bulo: Evaluation of Mutation Testing in a Nuclear Industry Case Study, IEEE Transactions on Reliability, Volume: 67 Issue: 4, 2018. 

  5. BulletRadu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly: Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases, IEEE Transactions on Software Engineering, Volume: 44 Issue: 11, 2018.

  6. BulletMark Sujan, Ibrahim Habli, Tim Kelly, Simone Pozzi, Astrid Guhnemann, Chris Johnson: How can health care organisations make and justify decisions about risk reduction? Lessons from a cross-industry review and a health care stakeholder consensus development process, Reliability Engineering & System Safety Journal, Vol 61, May 2017.

  7. BulletMark Sujan, Ibrahim Habli, Tim Kelly, Simone Pozzi, Chris Johnson: Should Healthcare Providers Do Safety Cases? Lessons From A Cross-Industry Review of Safety Case Practices? Safety Science Journal,  Vol. 84, April 2016.

  8. BulletEwen Denney, Ibrahim Habli, Ganesh Pai: Dynamic Safety Cases for Through-life Safety Assurance, 37th International Conference on Software Engineering (ICSE 2015), Florence, Italy, May 2015.

  9. BulletIbrahim Habli, Tim Kelly, Kevin Macnish, Christopher Megone, Mark Nicholson, Andrew Rae: The Ethics of Acceptable Safety, 23rd Safety-critical Systems Symposium, Bristol, UK, February, 2015.

  10. BulletRichard Hawkins, Ibrahim Habli, Tim Kelly, Dimitris Kolovos, Richard Paige: Weaving an Assurance Case from Design: A Model-Based Approach, 16th IEEE International Symposium on High Assurance Systems Engineering, Daytona Beach, Florida, USA, January 2015.

  11. BulletRichard Hawkins, Ibrahim Habli, Tim Kelly, John McDermid: Assurance Cases and Prescriptive Software Safety Certification: A Comparative Study. Safety Science, Vol. 59, November 2013.

  12. BulletRichard Baker, Ibrahim Habli: An Empirical Evaluation of Mutation Testing For Improving the Test Quality of Safety-Critical Software. IEEE Transactions on Software Engineering, Vol. 39, No. 6, June 2013.

  13. BulletPatrick Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John Knight: Arguing Conformance, IEEE Software, Vol. 29, Issue 3, May/June 2012.

  14. BulletIan Dodd, Ibrahim Habli: Safety Certification of Airborne Software: An Empirical Study, Reliability Engineering & System Safety Journal, Vol. 98, Issue 1, February 2012.