Project Grant 2448870
- This Project Grant award from the National Science Foundation (CFDA 47.070 - Computer and Information Science and Engineering) will provide $499,480 to Stony Brook University to conduct collaborative research to mitigate errors in air traffic control. The project aims to improve the safety, reliability, and efficiency of air traffic management through a multi-layered approach that integrates formal verification, robust speech understanding, and data-driven disruption analysis. Key objectives...
- The Massachusetts Institute of Technology (MIT) received a $800,000 Project Grant from the National Science Foundation (NSF) Division of Information and Intelligent Systems under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The grant will support the development of an online learning framework to optimize transportation systems as emerging mobility options like connected and automated vehicles alter travel demand and efficiency. Specifically, MIT...
- The National Science Foundation (NSF) Engineering program (CFDA 47.041) has awarded a $400,000 project grant to the Massachusetts Institute of Technology (MIT) to accelerate the design of controllers for large-scale engineering systems, focusing on the application of artificial intelligence in transportation. The project aims to bridge the gap between simulated cyber environments and real-world physical operations by utilizing extensive offline datasets and offline reinforcement learning....
- This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program provides $599,961 to the University of Massachusetts to develop a new framework called AERIAL (AI-Embedded Responsive Intelligent Agents with Trajectory-Induced Digital Twin Learning). The project aims to improve the safety, speed, and efficiency of drone missions that support public safety and national resilience. The research will introduce a new AI-driven...
- This $250,000 federal Project Grant award from the National Science Foundation's (NSF) Engineering program (CFDA 47.041) supports a collaborative research project to enhance the cognitive capabilities of aviation maintenance technicians through the integration of artificial intelligence (AI) and extended reality (XR) technologies. The primary goal is to improve inspection processes and reduce maintenance errors that cause aircraft accidents. The award is funding research and development led by a...
- This $280,247 Project Grant award from the National Science Foundation's Geosciences Program (CFDA 47.050) will fund collaborative research by the Massachusetts Institute of Technology (MIT) to develop advanced, AI-powered modeling capabilities for small-scale turbulence within the coupled air-sea boundary layers. The research aims to improve understanding of how surface waves and resulting turbulent processes regulate the exchange of mass, momentum, and energy between the atmosphere and...
- 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,"...
- The National Science Foundation (NSF) awarded a $304,695 Project Grant under the NSF Technology, Innovation, and Partnerships (CFDA 47.084) program to Digital Copilot, Inc. on June 1, 2025 for the development and validation of predictive algorithms to enhance aviation safety at airports without air traffic control services. This Small Business Innovation Research (SBIR) Phase I project aims to create a low-cost, tablet-based system that leverages machine learning and aviation data analytics to...
- The Massachusetts Institute of Technology (MIT) received a $500,000 Project Grant award from the National Science Foundation Division of Computer and Network Systems to support research titled "COLLABORATIVE RESEARCH: FMITF: TRACK I: COMPOSABLE VERIFICATION OF CRASH-SAFE DISTRIBUTED SYSTEMS WITH GROVE" from October 1, 2021 to September 30, 2025. The research is part of the Computer and Information Science and Engineering program (CFDA #47.070), which supports investigator-initiated...
- This federal Project Grant award of $227,984.00, awarded on January 15, 2025 by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research by the Massachusetts Institute of Technology (MIT) to advance the theoretical and practical understanding of equilibrium computation and learning dynamics in multi-agent interactions, such as in military, security, and auction settings. The project aims to develop new algorithms and...
This Project Grant award, funded by the National Science Foundation's Computer and Information Science and Engineering (CISE) program (CFDA 47.070), will provide $500,000.00 to Massachusetts Institute of Technology (MIT) from August 1, 2025 to July 31, 2028. The project aims to improve the safety, reliability, and efficiency of air traffic management through a combination of artificial intelligence and formal methods. Key objectives include using voice recognition, predictive models, and safety checks to detect potential problems before they occur, such as misunderstandings leading to runway incursions or weather-driven delays cascading across multiple airports. The research framework developed under this grant can also be applied to enhance the safety and resilience of other cyber-physical systems that integrate human coordination with intelligent automation, including firefighting operations, power grid management, and military operations. This project investigates a multi-layered approach that integrates formal verification, robust speech understanding, and data-driven disruption analysis to mitigate errors in air traffic control and advance the theory and application of cyber-physical systems.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $500.0k | 7/29/25 |