Heidy Khlaaf (هايدي خلاف)
Climber 🇪🇬| Engineering Director @ Trail of Bits (safety-critical SW ☢️/✈️/🚗 & AI). Formal Methods PhD. ISO.
x- Zipline, OpenAI, Adelard, MSFTResearch
x- Zipline, OpenAI, Adelard, MSFTResearch
Public Key
npub1rts9xkjvna276rlwvwxpcc5z3kq47ckqwe62fdjkgpynt07q4vsq64hlpsNIP-05 Address
heidykhlaaf_at_mastodon.social@mostr.pubProfile Code
nprofile1qqsp4czntfxf740dplhx8rquv2pgmq2lvtq8va9yketyqjf4hlq2kgq5us0jsAuthor Public Key
npub1rts9xkjvna276rlwvwxpcc5z3kq47ckqwe62fdjkgpynt07q4vsq64hlps