The Massachusetts Institute of Technology (MIT) received a $531,494 Project Grant award from the National Science Foundation Division of Computing and Communication Foundations on May 1, 2023 to complete work by April 30, 2026. Under this award, MIT will conduct research investigating low-degree methods for optimization in random structures and their potential and limitations. Specifically, MIT aims to verify if low-degree method-based algorithms can achieve state-of-the-art performance across a...
The Massachusetts Institute of Technology (MIT) received a $108,000 Project Grant award from the National Science Foundation Division of Computing and Communication Foundations to support collaboration research on probabilistic, geometric, and topological analysis of neural networks from theory to applications. The two-year award, issued on January 1, 2022 and set to conclude on December 31, 2024, will fund research under the Mathematical and Physical Sciences program (CFDA #47.049). This...
The Massachusetts Institute of Technology (MIT) received a $529,462 Project Grant award from the National Science Foundation (NSF) Division of Computing and Communication Foundations on June 1, 2021 to support research titled "COLLABORATIVE RESEARCH: CIF: MEDIUM: ANALYSIS AND GEOMETRY OF NEURAL DYNAMICAL SYSTEMS." The award is part of the NSF's Computer and Information Science and Engineering program (CFDA #47.070), which supports investigator-initiated research and education in...
The Massachusetts Institute of Technology (MIT) received a $300,000 Project Grant award from the National Science Foundation (NSF) Division of Computer and Network Systems on October 1, 2021 to support research titled "COLLABORATIVE RESEARCH: CNS CORE: MEDIUM: INFERENCE AND CONTROL IN OVERLAY NETWORKS." The award will fund research from October 1, 2021 through September 30, 2025 under the NSF's Computer and Information Science and Engineering program (CFDA 47.070), which supports...
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...
The Massachusetts Institute of Technology (MIT) received a $576,064 Project Grant award from the National Science Foundation Division of Computing and Communication Foundations to support the "COLLABORATIVE RESEARCH: DASS: LEGALLY ACCOUNTABLE CRYPTOGRAPHIC COMPUTING SYSTEMS (LACHS)" project. The award, made under the Computer and Information Science and Engineering program (CFDA #47.070), will fund research and development of legally accountable cryptographic computing systems from...
This Project Grant award for $865,209, provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070), supports research to develop novel tools for implementing and proving the correctness of programmable networking hardware, such as network switches. The project aims to carry out formal proofs of functional correctness for complex optimizations that enable switches to process packets quickly, focusing on justifying the...
The Massachusetts Institute of Technology (MIT) received a $330,000 Project Grant award from the National Science Foundation (NSF) under the Mathematical and Physical Sciences program. The grant supports research from 2023 to 2026 on non-parametric estimation techniques to address challenges with covariate shift in machine learning models. Specifically, MIT researchers will characterize fundamental limits of estimation with covariate shift, develop efficient algorithms that achieve these limits,...
This $330,000 Project Grant award from the National Science Foundation's Division of Information and Intelligent Systems (CFDA 47.070 - Computer and Information Science and Engineering) supports collaborative research at the Massachusetts Institute of Technology (MIT) to accelerate the execution of large graph problems on large, distributed computing systems. The project aims to develop new algorithms, software frameworks, and specialized hardware to enable more efficient processing of graph...
The National Science Foundation (NSF) awarded a $1,200,000 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the Massachusetts Institute of Technology (MIT) to develop energy-efficient computing hardware and algorithms for localization and mapping tasks in constrained cyber-physical systems. The project aims to design specialized chips that can perform these fundamental tasks in a fraction of the size, weight, and power of current...