flâneur

Nora Ammann - Personal Website

nora-ammann.replit.app · 454 words · saved by 1 readers

I work on AI assurance and civilisational resilience: building the technical foundations for independently verifiable claims about the behaviour of AI systems and the infrastructure they run on — from secure silicon to software to multi-stakeholder coordination. Currently, I'm a Programme Director at the UK's Advanced Research and Invention Agency (ARIA). I run the Safeguarded AI programme, a ~£60M R&D programme building a mathematical assurance toolkit that lets fleets of AI agents produce formally verified artifacts at unprecedented speed and scale - from verified software, to microelectornics to a wide range of cyberphyiscal control systems. Before ARIA, I co-founded and led Principles of Intelligence (formerly PIBBSS), a research organisation facilitating knowledge transfer from interdisciplinary sciences into AI safety. I've also been a Research Affiliate with the Alignment of Complex Systems research group, and a Research Manager at the Future of Humanity Institute, University of

Nora Ammann - Personal Website I work on AI assurance and civilisational resilience: building the technical foundations for independently verifiable claims about the behaviour of AI systems and the infrastructure they run on — from secure silicon to software to multi-stakeholder coordination. Currently, I'm a Programme Director at the UK's Advanced Research and Invention Agency (ARIA) . I run the Safeguarded AI programme, a ~£60M R&D programme building a mathematical assurance toolkit that lets fleets of AI agents produce formally verified artifacts at unprecedented speed and scale - from veri

related reading