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/29/2026
1 → unverifiable
Debug info
Thing ID: i_JlXiHYzr
Source Table: personnel
Source ID: i_JlXiHYzr