Heidy Khlaaf
About Heidy Khlaaf
Heidy Khlaaf is a Systems Safety Engineer and Software Safety Lead at Zipline, with a background in software safety and verification. She has held various roles in prominent organizations, including Microsoft Research and OpenAI, and has contributed to safety standards and AI governance frameworks.
Current Role at Zipline
Heidy Khlaaf serves as a Systems Safety Engineer (Software Safety Lead) at Zipline, a position she has held since 2021. In this role, she focuses on ensuring the safety and reliability of software systems within the organization. Her responsibilities include evaluating and verifying software implementations, particularly in safety-critical environments.
Previous Experience at Adelard
Khlaaf worked at Adelard from 2017 to 2020, initially as a Consultant for three years and then as a Senior Consultant for ten months in 2020. During her tenure, she contributed to various projects that involved safety and security applications, helping to produce standards and guidelines for software safety.
Educational Background
Heidy Khlaaf holds a Bachelor of Science (B.Sc.) in Computer Science and a Bachelor of Science (B.Sc.) in Philosophy from Florida State University. She further advanced her education by obtaining a Doctor of Philosophy (PhD) in Computer Science from University College London (UCL), where she studied from 2013 to 2017.
Research Contributions and Collaborations
During her academic career, Khlaaf collaborated with Microsoft Research Cambridge to develop and extend the T2 tool for temporal property verification. She has also contributed to the development of regulatory frameworks for AI governance in the UK, focusing on safety assurance for AI and machine learning technologies.
Internships and Early Career Experience
Khlaaf gained valuable experience through various internships, including positions at Microsoft Research, Amazon Web Services, and Tufts University. These roles allowed her to develop expertise in programming languages, formal methods, and research methodologies, laying the groundwork for her future contributions to safety-critical systems.