Skip to content
Longterm Wiki
All Source Checks
Fact

Advanced Research and Invention Agency (ARIA) — Description: Incoming CEO: Kathleen Fisher (former DARPA HACMS programme manager)

confirmed95% confidence

2 evidence checks from 1 unique source

Last checked: 3/30/2026

The source directly confirms both key elements of the claim: (1) Kathleen Fisher is identified as 'our incoming CEO' in the context of an article dated 28 November 2025, which matches the claimed date of 2025-11, and (2) she is explicitly identified as having led the HACMS programme at DARPA. The parenthetical remark '(our incoming CEO!)' in the source text directly supports the claim about her incoming role at ARIA.

Evidence — 1 source, 2 checks

confirmed95%primaryHaiku 4.5 · 3/30/2026
Found: The source text explicitly states: 'DARPA proved a decade ago (through the HACMS programme led by Kathleen Fisher, our incoming CEO!) that formally verified software can be made meaningfully secure.'

Note: The source directly confirms both key elements of the claim: (1) Kathleen Fisher is identified as 'our incoming CEO' in the context of an article dated 28 November 2025, which matches the claimed date of 2025-11, and (2) she is explicitly identified as having led the HACMS programme at DARPA. The parenthetical remark '(our incoming CEO!)' in the source text directly supports the claim about her incoming role at ARIA.

confirmed95%primaryHaiku 3 · 3/22/2026
Found: DARPA proved a decade ago (through the HACMS programme led by Kathleen Fisher, our incoming CEO!) that formally verified software can be made meaningfully secure.

Note: The source text explicitly confirms that Kathleen Fisher is ARIA's incoming CEO and that she previously led the DARPA HACMS programme. The parenthetical remark '(our incoming CEO!)' directly confirms both elements of the claim. The date reference of 2025-11 (November 2025) aligns with the article date of 28 November 2025, making this current information.

Debug info

Record type: fact

Record ID: f_L8Bx7t71DQ

Source Check: Fact f_L8Bx7t71DQ | Longterm Wiki