Ammann says she spent two years at ARIA; a separate post expressed excitement about her move into formal methods.
Nora Ammann announced she is joining @FoundationOAI as Program Director of Formal Methods after two years at @ARIA_research. A separate post praised Ammann and expressed excitement about what comes next in formal methods.
1.7K
4 Sources, first seen ago
—
Not ranked yet
—
Not ranked yet
@JacquesCarolanNora is a total super star and OAIF are insanely lucky to get her. So excited for what’s to come in formal methods
@davidmanheimYet another indication that the OpenAI Foundation might put significant money behind things that actually matter - contra some of the early indications. Now what we need is for it to happen quickly!
@bakkermichielRT @JacquesCarolan: Nora is a total super star and OAIF are insanely lucky to get her. So excited for what’s to come in formal methods@JacquesCarolanNora is a total super star and OAIF are insanely lucky to get her. So excited for what’s to come in formal methods@davidmanheimYet another indication that the OpenAI Foundation might put significant money behind things that actually matter - contra some of the early indications. Now what we need is for it to happen quickly!@bakkermichielRT @JacquesCarolan: Nora is a total super star and OAIF are insanely lucky to get her. So excited for what’s to come in formal methods@JacquesCarolanNora is a total super star and OAIF are insanely lucky to get her. So excited for what’s to come in formal methods@davidmanheimYet another indication that the OpenAI Foundation might put significant money behind things that actually matter - contra some of the early indications. Now what we need is for it to happen quickly!@bakkermichielRT @JacquesCarolan: Nora is a total super star and OAIF are insanely lucky to get her. So excited for what’s to come in formal methods@JacquesCarolanNora is a total super star and OAIF are insanely lucky to get her. So excited for what’s to come in formal methods@davidmanheimYet another indication that the OpenAI Foundation might put significant money behind things that actually matter - contra some of the early indications. Now what we need is for it to happen quickly!@bakkermichielRT @JacquesCarolan: Nora is a total super star and OAIF are insanely lucky to get her. So excited for what’s to come in formal methods
