Uploaded June 2025 | Updated September 2026, 1 week ago
DARPA Information Innovation Office Director Kathleen Fisher delivered a keynote address at DARPA’s Resilient Software Systems Colloquium on June 17, 2025. In this presentation, Fisher outlines the agency’s role in advancing the state of the art in formal methods and announced a new funding opportunity, the Resilient Software Systems Accelerator. Learn more: https://www.darpa.mil/research/research-spotlights/formal-methods.
DARPA Information Innovation Office Director Kathleen Fisher delivered a keynote address at DARPA’s Resilient Software Systems Colloquium on June 17, 2025. In this presentation, Fisher outlines the agency’s role in advancing the state of the art in formal methods and announced a new funding opportunity, the Resilient Software Systems Accelerator. Learn more: https://www.darpa.mil/research/research-spotlights/formal-methods.










