PERSON DIRECTORY
Kathleen Fisher
Kathleen Fisher appears in 1 indexed conversation across The Cognitive Revolution. This directory brings every appearance, source, TL;DR, digest, and transcript into one searchable feed.
The Great Security Update: AI ∧ Formal Methods with Kathleen Fisher of RAND & Byron Cook of AWS
Nathan LabenzKathleen FisherByron Cook
AI is making cyberattacks more parallel and accessible, while formal methods could convert each incident into machine-checkable security properties that compound across future systems.HACMS protected flight control during airborne red-team attacks, and AWS has deployed verified policy infrastructure at more than a billion invocations per second.AI-generated invariants, certified proofs, and C-to-Rust translation could enable a large legacy rewrite, but specification difficulty, legitimate policy exceptions, and safer systems encouraging riskier deployment remain key constraints.