For the Verified Debloating and Delaying (VADD) project, Galois is leading a project team that includes SRI International, Stanford University, and the University of Iowa. Galois will be responsible for overall technology development, primarily focused on restructuring compiled applications.
National security
SRI teams up with Galois to secure, optimize DoD systems
The Mad Science behind Autonomy and AI in the Military
While the U.S. military is laser focused on day-to-day operations, it always has an eye on the future. More specifically, on how to encourage innovation and leverage technologies, products and approaches that can better ensure mission success. This past spring I had the pleasure of speaking at the Mad Scientist Conference on Robotics, Artificial Intelligence […]