EN

← 人物

Nora Ammann

现任 Program Director of Formal Methods · Foundation for American Innovation

@AmmannNora

最近变动

ARIA → Foundation for American Innovation · Program Director of Formal Methods

跳槽 · 2026-10-30 · 本人发布 ↗

2026 年 10 月起任 OpenAI Foundation 形式化方法项目主任，此前在 ARIA 任项目主任两年，PIBBSS 联合创始人及董事。

经历

  1. Foundation for American InnovationProgram Director of Formal Methods
    新
  2. PIBBSSCo-founder and board member
  3. AI Resilience
  4. ARIAProgram Director
    2026-10

出处最近变动: X教育与工作经历读自本人主页或雇主页面；论文在 arXiv 上核对过署名。LinkedIn 只读本人公开发布的帖子；GitHub 只给链接。