personnel
Heidy Khlaaf — Engineering Director, AI Assurance at Trail of Bits
Metadata
| Source Table | personnel |
| Source ID | i_JlXiHYzr |
| Source URL | www.trailofbits.com/ |
| Parent | Trail of Bits |
| Children | — |
| Created | Mar 24, 2026, 8:45 PM |
| Updated | Mar 25, 2026, 4:02 AM |
| Synced | Mar 25, 2026, 4:02 AM |
Record Data
id | i_JlXiHYzr |
personId | Heidy Khlaaf(person) |
organizationId | Trail of Bits(organization) |
personEntityId | Heidy Khlaaf(person) |
personDisplayName | — |
orgEntityId | Trail of Bits(organization) |
orgDisplayName | — |
role | Engineering Director, AI Assurance |
roleType | career |
startDate | 2023 |
endDate | — |
isFounder | No |
appointedBy | — |
background | — |
source | www.trailofbits.com/ |
notes | Leads AI assurance engineering; previously at Adolus and UCL; expert in formal verification and safety-critical systems |
Source Check Verdicts
unverifiable95% confidence
Last checked: 4/9/2026
The 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.
Debug info
Thing ID: i_JlXiHYzr
Source Table: personnel
Source ID: i_JlXiHYzr