Uploaded June 2025 | Updated September 2026, 3 weeks ago
Dr. Matt Turek, Deputy Director, DARPA Information Innovation Office (I2O), moderated a panel with Ms. Theresa Beech, NASA CAPSTONE Experimentation Principal Investigator, Mr. Oren Edwards, Chief Engineer for the Medium Altitude Unmanned Aircraft Systems Division, Air Force Life Cycle Management Center, U.S. Air Force Materiel Command, and Dr. Philip Johnson-Freyd, Research and Development Cybersecurity Principal Member of Technical Staff, Sandia National Laboratories, Sandia National Laboratories. The discussion centered on how others in the U.S. government and Department of Defense are using formal methods, advice on how and organization can begin implementing formal methods, and why. Learn more about formal methods: https://www.darpa.mil/research/research-spotlights/formal-methods.
Dr. Matt Turek, Deputy Director, DARPA Information Innovation Office (I2O), moderated a panel with Ms. Theresa Beech, NASA CAPSTONE Experimentation Principal Investigator, Mr. Oren Edwards, Chief Engineer for the Medium Altitude Unmanned Aircraft Systems Division, Air Force Life Cycle Management Center, U.S. Air Force Materiel Command, and Dr. Philip Johnson-Freyd, Research and Development Cybersecurity Principal Member of Technical Staff, Sandia National Laboratories, Sandia National Laboratories. The discussion centered on how others in the U.S. government and Department of Defense are using formal methods, advice on how and organization can begin implementing formal methods, and why. Learn more about formal methods: https://www.darpa.mil/research/research-spotlights/formal-methods.
