Foundational Computer Science
Abstract
(U) The Foundational Computer Science program supports research in broad areas of computational science having the potential for revolutionary advances in performance and other relevant metrics above and beyond extrapolations of current approaches. The research will yield significant advances in networking, software, hardware, and computational systems in a world where computing devices are ubiquitous and heterogeneous. The Foundational Computer Science program is addressing the need for highly reliable and trustworthy mission-critical information systems, including both software and hardware. New programming languages that facilitate parallel programming on multi-core processors, scalable formal methods, clean-slate execution models, co-design approaches for hardware and software, and other techniques will be used to guarantee the security, reliability, performance and robustness of a design while also reducing its complexity and cost. Interest in communications and sensor networks addresses challenges related to dynamic heterogeneous multi-modal networks. The Foundational Computer Science program will also address problems that are inherently computationally complex and, in many cases, intractable. For example, the game of Go provides an ideal platform for creating the heuristic approaches and tools necessary to solve problems that typically require either enormous computer resources or simplification that sacrifices accuracy. The resulting technologies will be candidates for future command and control decision aids that can assess the consequences of specific actions and strategies to better predict future results in applications such as irregular warfare, cyber-security, supply chain optimization, networking and robotics.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2011
- Source ID
- 4ec28adde1548aaf1ef026f0ba00e222