Heidy Khlaaf
Chief AI Scientist at AI Now Institute
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolHeidy Khlaaf is Chief AI Scientist at the AI Now Institute and a safety engineering leader with 11 years’ experience evaluating, specifying, and verifying complex autonomous and safety-critical software from UAVs to nuclear plants. A UCL PhD in formal methods underpins her rare blend of systems software engineering and ML expertise, which she has applied to pioneer AI Safety Engineering and create de facto industry frameworks for assessing large code-generation models like Codex. She has led regulatory-facing assurance programs—authoring certification plans under DO-178C/FAA guidance and advising UK and US bodies including ISO SC 42 and the UNSG AI advisory network—while uncovering real-world vulnerabilities such as LeftoverLocals. Known for translating formal verification and hazard analysis into practical audits and safety cases, she bridges academic rigor with operational deployment of ML in critical systems. Based in London, she combines deep technical publications and awards with high-profile public engagement in media and policy.
11 years of coding experience
5 years of employment as a software developer
Bachelor of Science (B.Sc.) Computer Science, Bachelor of Science (B.Sc.) Computer Science at Florida State UniversityUniversity College London
English, Arabic
Github Skills (14)
temporal9
ruby7
golang6
relational-algebra5
prolog5
perl4
polyglot3
javascript3
stack-based3
esoteric-language3
c-programming3
programming-language2
odin2
language-design1
Programming languages (2)
Github contributions (5)
hkhlaaf/T2
Jan 2015 - Aug 2016
Contributions:49 pushes, 9 branches in 1 year 6 months
golangprovertemporal
hkhlaaf/llvm2kittel
Sep 2015 - Oct 2015
llvm2KITTeL
Contributions:13 commits, 1 PR, 12 pushes in 11 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.