DARPA IDAS
Abstract: The Intent-Defined Adaptive Software (IDAS) program seeks to develop technologies that capture the intentions of software engineers to support the continual adaptation of DoD software-enabled systems. The program seeks to develop new methods for representing the intent of software and its abstract constraints separately from its concrete instantiation by leveraging automated methods to adjust to a particular instance. Technologies developed on the IDAS program will enable rapid adaptation of software to changes in requirements and/or operating environments. SRI is developing a symmetry-inspired SW development paradigm for addressing the IDAS challenges.
Susmit Jha
Technical Director, NuSCI
My research interests include artificial intelligence, formal methods, machine learning and dynamical systems.