Academic and Teaching Staff

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 intelligent systems (e.g. autonomous and connected driving). My research is centred on understanding how potential failures of software-intensive systems can contribute to accidents and how the risk of these failures can be mitigated. My work also focuses on the assurance and certification of these systems, primarily through the development of structured assurance arguments, based on combining formal reasoning and informal logic.

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.


Departmental and University Roles

  • Course co-ordinator (MSc GTC)
  • Member of MSc GTC advisory group
  • Member of CS-EE JAPG
  • Member of MTC2 (GTC Rep)


Contact details

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

Phone: +44 (0)1904 325566

Fax: +44 (0)1904 325599

Office: CSE/140

Personal Homepage:

Research Group: