Project Grant 2217878
Award Date 10/1/21
Completion Date 11/30/23
Dollars Obligated $130K
Federal Agency
Federal Grant Program
Assistance Type
Project Grant
Place of Performance
Cambridge, MA 02139, USA
Similar Awards
- The Massachusetts Institute of Technology (MIT) received a $448,421 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 funds MIT's research project to develop an "excompiler" - a new type of programming language and compiler that decouples algorithms from their organization and execution. This will allow algorithms and their...
- The Massachusetts Institute of Technology (MIT) received a $1.2 million project grant award from the National Science Foundation Office of Advanced Cyberinfrastructure to support research activities under the Computer and Information Science and Engineering federal grant program (CFDA 47.070). The award will fund a collaborative research project between Aug 1, 2021 and Jul 31, 2025 to develop frameworks that converge Bayesian inverse methods and scientific machine learning in Earth system models...
- 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...
- Federal Project Grant Award Summary Massachusetts Institute of Technology (MIT) received a $606,430 Project Grant award effective October 1, 2025, through September 30, 2029, from the National Science Foundation's Division of Computer and Network Systems under the Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award supports collaborative research on formal verification techniques for distributed systems with Byzantine participants—systems where some...
- 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...
- The Massachusetts Institute of Technology (MIT) received a $499,999 Project Grant award from the National Science Foundation (NSF) to conduct research titled "AF: SMALL: LOWER BOUNDS IN COMPLEXITY THEORY VIA ALGORITHMS" under the NSF's Computer and Information Science and Engineering program (CFDA 47.070). The three-year award beginning October 1, 2021 provides $499,999 in funding for MIT researchers to develop new algorithms aimed at establishing theoretical lower bounds in...
- 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...
- The Massachusetts Institute of Technology (MIT) received a three-year $600,000 Project Grant from the National Science Foundation's (NSF) Computer and Information Science and Engineering program (CFDA 47.070) to develop algorithms that leverage structural properties in distribution testing. MIT will extend the reach of distribution testing through more efficient solutions that capitalize on known data structures. The university will also design sample-efficient methods to ascertain if data...
- This $256,710 National Science Foundation award under the Computer and Information Science and Engineering (CFDA 47.070) program supports a collaborative research project led by the University of Texas at Austin. The project investigates full-stack implementation methodologies for developing expressive programming systems that bridge the gap between high-level specifications and high-performance implementations of complex reasoning tasks at scale. Key focus areas include extending declarative...
- 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...