中文

← People

Nora Ammann

Now Program Director of Formal Methods · Foundation for American Innovation

@AmmannNora

Latest move

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

Moved · 2026-10-30 · Own post ↗

Program director of formal methods at the OpenAI Foundation from October 2026, after two years as a programme director at ARIA; co-founder and board member of PIBBSS.

Path

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

SourcesLatest move: XEducation and jobs are read from their own homepage or employer's page; papers checked on arXiv. From LinkedIn only the person's own public posts are read; GitHub is a link only.