Defense Advanced Research Projects AgencyTagged Content List

Software Programming

Pushing the boundaries of computer coding, including language development

Showing 3 results for Programming + Math RSS
05/27/2015
The initial phase of a DARPA program that used publicly accessible online games to accelerate the verification of software has helped produce hundreds of thousands of program annotations in common software programming languages, adding credence to the idea that digital games can be an effective means of crowdsourcing solutions to software problems. The results have inspired DARPA to launch a new round of games with the goal of extending the successes to date and learning more about the approach’s potential.
Accurate multi-physics simulation codes are essential for understanding the behavior of complex DoD systems, but they are generally not available from the commercial sector and have to be custom built. Current approaches to building simulation codes scale poorly with the number of interacting physics involved and often introduce inaccuracies that are difficult to trace and quantify.
Program Manager
Dr. Randy Garrett joined DARPA in February 2019 as a program manager in the Strategic Technology Office. Prior to arriving at DARPA, he worked for commercial cybersecurity companies.