Project Grant 2331967
Award Date
10/1/23
Completion Date
9/30/26
Dollars Obligated
$260K
Federal Agency
Division of Information and Intelligent Systems
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Urbana, IL 61801, USA
Similar Awards
The National Science Foundation (NSF) awarded the University of California, Los Angeles (UCLA) a $539,999 project grant under the Computer and Information Science and Engineering (CISE) program. The grant, effective October 1, 2023 through September 30, 2026, will fund a collaborative research project to develop formal verification frameworks and training/inference algorithms to ensure the safety and adherence to constraints of AI-based sequential generation models across critical applications...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Award (CFDA 47.070) provides $800,000 in funding from September 1, 2024 to August 31, 2027 to the University of Illinois at Urbana-Champaign. The project focuses on enhancing the safety of large language models (LLMs) used in high-stakes applications by developing quantifiable safety measures and algorithms to detect and mitigate unsafe behaviors. Key technical aims include ensuring...
The National Science Foundation (NSF) awarded a $793,065 Project Grant under the Computer and Information Science and Engineering (CISE) program to the University of Wisconsin System for the project "SLES: Foundations of Safety-Aware Learning in the Wild." The project aims to develop novel machine learning algorithms and theoretical guarantees that can reliably detect and handle out-of-distribution data encountered by AI models deployed in dynamic, unpredictable environments. This...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) provides $309,407 to Virginia Polytechnic Institute & State University (Virginia Tech) to develop a framework for ensuring the safety and trustworthy deployment of generative artificial intelligence (AI) foundation models, particularly large language models. The project will pursue three key tasks: 1) Conduct in-depth analysis to identify root...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award, with a total funding of $175,000, supports the development of novel verification methodologies to enhance software quality, safety, and security for safety-critical and security-critical applications such as self-driving cars and digital medical services. The project aims to develop verification techniques based on first-order assertions and auxiliary logical variables,...
This National Science Foundation (NSF) award under the Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) provides $175,000 in funding to the Regents of the University of Michigan, doing business as the University of Michigan-Dearborn, for a 2-year project from March 2024 to February 2026. The project aims to develop innovative model-based verification techniques to analyze the safety, reliability, and accuracy of cyber-physical systems (CPS) integrated...
This $375,000 Project Grant, awarded by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), focuses on developing tools to design and verify the safety of autonomous systems. The key activities include: Developing inverse reinforcement learning algorithms to align the norms of reinforcement learning (RL) agents with human designers' intent. 2) Systematically exploring agents' norms to uncover potential safety issues. 3) Designing...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program (CFDA 47.070) award of $209,421 to the New Jersey Institute of Technology (NJIT) aims to create a framework that integrates real-time safety verification and assurance into the performance optimization process of AI-driven safety-critical systems. The 5-year project will devise innovative real-time scheduling strategies and pioneering safe reinforcement learning mechanisms to...
This $500,000 project grant, awarded on January 1, 2024 by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070), aims to address the urgent need for end-to-end safety in learning-enabled autonomous systems across various application scenarios, such as self-driving cars and urban air mobility. The project, titled "COLLABORATIVE RESEARCH: SLES: GUARANTEED TUBES FOR SAFE LEARNING ACROSS AUTONOMY ARCHITECTURES,"...
This $270,913 federal Project Grant award, funded by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program, supports research to develop qualitative and quantitative methodologies for assessing the safety of learning-enabled autonomous systems. The project, led by the Augusta University Research Institute, Inc. (AURI), will target foundational challenges in capturing uncertainties from environments and providing timely, comprehensive, and...