Project Grant 2403061

Award Date 6/15/24
Completion Date 5/31/27
Dollars Obligated $640K
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Pittsburgh, PA 15213, USA
Similar Awards
The National Science Foundation (NSF) awarded a $550,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) federal grant program to the Rector & Visitors of the University of Virginia (University of Virginia) to conduct research on developing methods to improve the safety and reliability of robotic and autonomous systems (RAS) operating in complex real-world environments. The key objectives of the 3-year project are to: 1) create techniques to extract...
This five-year National Science Foundation Project Grant of $1,238,246 will fund research at Carnegie Mellon University toward developing safe autonomous systems. The goal is to enable robots and other autonomous systems to operate safely while interacting closely with humans, as required for applications like next-generation manufacturing infrastructure. The university will develop a new algorithmic framework for assuring safety in autonomous robotic systems. The framework aims to optimize...
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...
This $425,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to develop a framework for ensuring the safety of future robotic systems. The research project, led by The Trustees of Princeton University, aims to lay the foundation for safe robot autonomy by enabling robots to continually prove the safety of their actions under a wide range of operating conditions, from complex physical...
This Project Grant award from the National Science Foundation's (NSF) Engineering program (CFDA 47.041) provides $500,000 in funding to Carnegie Mellon University (CMU) for a 5-year research project focused on mitigating various risks in the control of autonomous systems operating in uncertain and interactive environments. The key objectives are to: 1) quantify long-term risks despite latent variables and limited data, 2) develop efficient control techniques that provide long-term assurance...
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...
This $272,238 Project Grant, awarded on July 15, 2024 by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to enhance the safety and reliability of autonomous vehicles. The project aims to identify vulnerabilities in the software and machine learning components of autonomous vehicle systems, and develop mitigation techniques to improve their overall resilience. The research will combine model-based and...
This Project Grant awarded by the National Science Foundation (NSF) under the Engineering program (CFDA 47.041) will support $361,090 in research to expand the understanding of how robots can make safe decisions in real-world environments. The goal is to develop new methods that enable robots to better assess and respond to nuanced safety challenges, such as avoiding areas marked with caution tape, slowing down when transporting hot liquids, and seeking clarification when uncertain about a task....
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 $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...

This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) Project Grant award, totaling $639,945, was provided to Carnegie Mellon University (CMU) from June 2024 through May 2027. The research project focuses on developing methods to detect faults in robotic and autonomous systems (RAS) by analyzing program artifacts and real-world data. Key deliverables include: 1) techniques to infer behavior models and check them against RAS properties; 2) methods to infer real-world specifications from data and contrast them with simulation; 3) approaches to inform RAS evolution and address gaps between code, models, and reality; and 4) studies to quantify the efficacy of these techniques. The research aims to improve public safety by addressing challenges in RAS development through innovative computational modeling and analysis. The award will integrate the research findings into educational curriculum and training.

Generated 3/18/25, 4:44 AM