ARIA's Nora Ammann joins OpenAI Foundation as Program Director of Formal Methods
davidmanheim · x · 2026-10-30
After two years at ARIA Research, Nora Ammann announced she is joining the OpenAI Foundation as Program Director of Formal Methods. Commentator davidmanheim read the hire as a sign the Foundation may put real money behind matters of substance, contrary to some early indications.
More from Companies & People
- Spies targeting Jensen, Sam, Dario and Elon would be 'weird' not to happen, says dev — rickasaurus · 2026-10-30
- Mike King on GEO vs SEO: chatbots read what everyone says about you, not just your site — VeryWellVersed · 2026-10-30
- Enterprise AI stalls in the messy middle: measure value, not activity — DavidLinthicum · 2026-10-30
- Anthropic's head of design: shipping is easy now, building what people want is hard — ditzikow · 2026-10-30
- NBER opens applications for Stanford Digital Economics and AI tutorial, due Nov 3 — avicgoldfarb · 2026-10-30
- OpenAI hosts Cloud Native Hackathon Nov 9; hack turns M5Stack into a k8s desk pager — OpenAIDevs · 2026-10-30