I'm currently a Research Consultant at Adelard LLP where I evaluate, specify, and verify the implementations of safety-critical systems (e.g., autonomous systems, nuclear power plants, avionics, medical devices, etc.). I specialize in software and system analysis, verification, and model-checking, as well as carry-out safety and security assessments. In addition, I contribute to the production of standards and guidelines for safety and security related applications and their development.
I received my Computer Science PhD at University College London in January 2018, and I was advised by Nir Piterman. My work focused on the temporal verification, termination, and non-termination of infinite-state software systems. As a PhD student, I collaborated with Microsoft Research Cambridge as part of the PPT group to create and extend the T2 tool to support temporal property verification.
I received my Bachelor of Science from Florida State University where I obtained degrees in both Computer Science and Philosophy, with a minor in Mathematics.
"The Past, Present, and Future(s): Verifying Temporal Software Properties",
Heidy Khlaaf. PhD Dissertation. Department of Computer Science, University College London, 2018.
PDF
"T2: Temporal Property Verification"
M. Brockschmidt and H. Khlaaf with B. Cook, S. Ishtiaq, and N. Piterman Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, Netherlands, 2016.
PDF
"On Automation of CTL* Verification for Infinite-State Systems"
H. Khlaaf with B. Cook and N. Piterman. Computer Aided Verification, San Francisco, USA, 2015.
Best Paper Award at CAV 2015, Invited Submission to JACM.
PDF
"Fairness for Infinite-State Systems"
H. Khlaaf with B. Cook and N. Piterman. Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom, 2015.
PDF
"Faster Temporal Reasoning for Infinite-State Programs"
H. Khlaaf with B. Cook and N. Piterman. Formal Methods in Computer-Aided Design, Lausanne, Switzerland, 2014.
PDF
"Abstract: Fairness for Infinite-State Systems"
H. Khlaaf with B. Cook and N. Piterman. 14th International Workshop on Termination, Vienna, Austria, 2014.
When not analyzing safety-critical systems, you will most likely find me climbing. I mostly enjoy bouldering and I am currently climbing around the V8/V9 grade range outdoors. I climb both indoors and outdoors and my most recent trips have been to: Rocklands (South Africa), the Peak District UK, Dolomites Italy, Sintra Portugal, Magic Wood Switzerland, Albarracin Spain, Shawangunk Mountains, Brione Switzerland, Sardegna Italy, Fontainebleau France, Yosemite National Park, Grand Canyon National Park.