Index
Heidy Khlaaf @ Trail of Bits
Verdictunverifiable95%
1 check · 4/29/20261 → unverifiable
Our claim
entire record- Person
- Heidy Khlaaf
- Role
- Engineering Director, AI Assurance
- Role Type
- career
- Start Date
- 2023
- Is Founder
- No
- Notes
- Leads AI assurance engineering; previously at Adolus and UCL; expert in formal verification and safety-critical systems
Source evidence
1 src · 1 checkunverifiable95%Haiku 4.5 · 4/9/2026
NoteThe source document is Trail of Bits' own corporate webpage describing their services and company information. While it confirms Trail of Bits exists as an organization, it contains no information about specific personnel, their names, titles, or start dates. The absence of this information in the source does not contradict the record—it simply means the source does not address these personnel-specific claims. This is a case of wrong source relevance: the source discusses the organization itself but not its individual employees or their roles.
Case № i_JlXiHYzrFiled 4/29/2026Confidence 95%