Software and Hardware Foundations (SHF) | PD 25-7798
National Science Foundation
Amount
Amount not published by the funder
About this opportunity
Synopsis The Software and Hardware Foundations (SHF) program supports potentially transformative research in the design, verification, operation, utilization, and evaluation of computer software and hardware through novel approaches, robust theories, high-leverage tools, and lasting principles. Such advances may involve formal methods, languages, logics, novel software and/or hardware artifacts, or algorithms to enable new or enhanced functionality, verification, usability, and scale. The SHF program supports all aspects of the science and engineering of software, seeking transformative ideas that reformulate the relationships between requirements, design and evolution of software, and software-intensive systems. SHF supports research projects focusing on program analysis and synthesis, co...