Uploaded June 2025 | Updated September 2026, 2 weeks ago
Mr. Ian Vance, lead systems security engineer for the Office of the Deputy Assistant Secretary of the U.S. Army for Data, Engineering, and Software, Cyber-Physical Directorate, shares why the DOD's collaboration with the defense industrial base is needed to realize the benefits that formal methods.
Mr. Ian Vance, lead systems security engineer for the Office of the Deputy Assistant Secretary of the U.S. Army for Data, Engineering, and Software, Cyber-Physical Directorate, shares why the DOD's collaboration with the defense industrial base is needed to realize the benefits that formal methods.










