Heidy Khlaaf

持续在做什么

英国 AI 安全研究者与安全工程师，现任 AI Now Institute 首席 AI 科学家，拥有形式化验证方向计算机科学博士背景。她把核工业、航空航天等安全关键系统的风险评估、保证论证和事故问责方法带入 AI，关注军事 AI、代码生成模型、GPU 泄露漏洞，以及企业安全主张如何接受独立验证。