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 research and education in computing, communications, and information science and engineering. Specifically, the award will fund MIT's development of verification techniques for crash-safe distributed systems using the Grove verification framework to enable formal verification of distributed algorithms and establish compositional reasoning principles. The research aims to advance cyberinfrastructure that accelerates discovery and innovation in computer science and engineering.
Generated 1/6/24, 2:33 PM