Heidy Khlaaf

Research Consultant,Adelard LLP

Photo of Heidy Khlaaf


Heidy Khlaaf is a Research Consultant at Adelard LLP where she evaluates, specifies, and verifies the implementations of safety-critical systems, and also contributes to the production of standards and guidelines for safety and security related applications and their development. Previously, she received her PhD from University College London where she developed novel research methodologies, in part with Microsoft Research, to fully-automate the verification of temporal properties over software systems in the tool T2.