Project Grant 2311983
Award Date
10/1/23
Completion Date
9/30/27
Dollars Obligated
$500K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Pittsburgh, PA 15213, USA
Similar Awards
Carnegie Mellon University was awarded a $546,091 Project Grant from the National Science Foundation Division of Computing and Communication Foundations under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will support the development of future-proof test corpus synthesis for evolving software from October 1, 2021 to September 30, 2024. The Computer and Information Science and Engineering program aims to advance computing and informatics...
The National Science Foundation awarded $544,003 to Carnegie Mellon University under the Computer and Information Science and Engineering federal grant program (CFDA 47.070) for a three-year Project Grant beginning October 1, 2022. The grant aims to develop formal libraries, methods, and tools to carry out tasks like encoding statements as clausal formulas and reducing search spaces in verified ways using automated reasoning and interactive theorem proving. Specifically, the university will...
Carnegie Mellon University was awarded a $255,457 project grant from the National Science Foundation Division of Computing and Communication Foundations under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will fund collaborative research titled "COLLABORATIVE RESEARCH: SHF: SMALL: FEEDBACK-DRIVEN MUTATION TESTING FOR ANY LANGUAGE" from September 1, 2021 through August 31, 2024. The research aims to advance the development and use of...
The National Science Foundation (NSF) awarded a $300,000 Project Grant under its Computer and Information Science and Engineering (CFDA 47.070) federal grant program to Carnegie Mellon University (CMU). The grant funds a 3-year research project focused on developing logical and semantic foundations for compositional assurance reasoning about the safety, reliability, and security of software systems when heterogeneous analysis methods are applied. The project aims to create reasoning principles...
Carnegie Mellon University was awarded a $391,000 Project Grant from the National Science Foundation Division of Information and Intelligent Systems. The grant is part of the Computer and Information Science and Engineering federal grant program (CFDA 47.070) and will fund the "FAI: FAIR AI IN PUBLIC POLICY - ACHIEVING FAIR SOCIETAL OUTCOMES IN ML APPLICATIONS TO EDUCATION, CRIMINAL JUSTICE, AND HEALTH AND HUMAN SERVICES" project from April 1, 2021 through March 31, 2024. Under this...
This $299,998 federal Project Grant award from the National Science Foundation's Computer and Information Science and Engineering (CFDA 47.070) program will support collaborative research at Carnegie Mellon University to develop new big data algorithms that are robust to adversarial input. The key focus areas include: 1) adversarial robustness in black-box and white-box streaming settings, and 2) adaptive data analysis with bounded space. The research team will also explore emerging attack...
Carnegie Mellon University was awarded a $465,848 project grant from the National Science Foundation on July 15, 2021 to complete work by June 30, 2024. The grant falls under the NSF's Computer and Information Science and Engineering program (CFDA 47.070), which supports investigator-initiated research and education in computing, communications, and information science and engineering. Specifically, the grant will fund CMU's "Solving the Parallel Functional Programming Challenge"...
Carnegie Mellon University was awarded a $847,832 project grant from the National Science Foundation Division of Research on Learning in Formal and Informal Settings. The grant is part of the NSF's Computer and Information Science and Engineering program (CFDA #47.070), which supports investigator-initiated research and education in computing, communications, and information science and engineering. Under the three-year award beginning October 1, 2021, Carnegie Mellon University will develop...
Carnegie Mellon University was awarded a $350,000 project grant from the National Science Foundation for the period of April 1, 2021 through March 31, 2024. The grant was awarded under the NSF's Computer and Information Science and Engineering program, which supports investigator-initiated research and education in all areas of computing, communications, and information science and engineering. Specifically, the grant will fund research into foundations and constructions for securely executing...
Carnegie Mellon University was awarded a $616,000 project grant from the National Science Foundation Division of Computer and Network Systems under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will support research from June 2021 through May 2024 to develop secure hardware virtualization contexts for ephemeral cloud computing. The goal is to advance the development and use of research cyberinfrastructure to enable and accelerate discovery...