GrammaTech Awarded DARPA Research Contract for AI-Augmented Software Development

▤ Summary

BETHESDA, Md.--(BUSINESS WIRE)--GrammaTech, a leading provider of software application security testing research and solutions, today announced a contract with DARPA to research the use of artificial intelligence (AI) and machine learning (ML) techniques for automating the design, testing and implementation of software applications. The program is aimed at helping free developers to focus on problem definition and high-level software design, by using statistical machine learning, formal methods, and Search Based Software Engineering (SBSE) to suggest code, types and tests, and continually verify implementations. “By separating problem definition from implementation, this project will help make it possible for software developers to focus on ‘what to do’, by handling the details of ‘how to do it’ using automated code synthesis and adaptation tools,” said Alexey Loginov, Vice President of Research at GrammaTech. “We believe this research will have a significant impact on software quality, reliability, security and availability by enabling a developer new to a language to skip the learning curve of the first few months, while allowing an experienced professional to program at a significantly faster pace.” This research project is intended to augment modern software development environments with a framework that exposes various kinds of intent specification and provides synthesis tools that act on the specifications in a collaborative process with developers. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the US Air Force or DARPA.

▦ Linked Companies

GrammaTech

$1M to $5M