Project Grant 2211997
Award Date
7/1/22
Completion Date
6/30/25
Dollars Obligated
$572K
Federal Agency
Division of Computing and Communication Foundations
Federal Grant Program
47.070
Assistance Type
Project Grant
Place of Performance
Buffalo, NY 14228, USA
Similar Awards
This Project Grant from the National Science Foundation supports research into integrated verification of internet of things and real-time communication protocols. The $625,000 award to Carnegie Mellon University, running from July 1, 2022 to June 30, 2025, will fund the development of a new programming language and type system to enable verification of IoT and real-time systems consisting of communicating processes. As part of the Computer and Information Science and Engineering program, this...
This Project Grant award of $376,450.00, provided by the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CFDA 47.070) program, supports the development of a semantic framework for verifying the compliance of heterogeneous distributed systems, such as those found in cloud computing and the Internet of Things (IoT), with intended interaction protocols. The key goals of the project are to: (a) develop foundational reasoning techniques that can...
This Project Grant award of $387,341 from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) supports research to extend auto-active verification techniques to enable the verification of security and privacy properties, known as hyperproperties, for software systems. The key objectives of the three-year project are to: 1) develop new deductive logics and algebras to support automated reasoning about relationships between...
This Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program, CFDA 47.070, aims to simplify and automate the verification of high-performance distributed systems. The $375,000 award to the Regents of the University of Michigan, to be completed by September 2027, will develop new techniques such as message invariants and distributed ownership types to make formal verification of complex, real-world distributed systems more...
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) Computer and Information Science and Engineering (CFDA 47.070) Project Grant award of $600,000 to Yale University will leverage the Rust programming language to enhance the correctness and reliability of systems software, such as operating systems. The project aims to develop innovative techniques for intralingual resource representation, design patterns for verifiable operating system implementation, and a hybrid approach combining formal and informal...
The National Science Foundation (NSF) Division of Computing and Communication Foundations awarded a $593,022 Project Grant to The Trustees of the Stevens Institute of Technology in Hoboken, New Jersey. This grant, under NSF's Computer and Information Science and Engineering (CFDA 47.070) program, supports a project focused on developing new formal verification techniques for concurrent software. The project aims to bridge the gap between intuitive scenario-based reasoning and rigorous...
The National Science Foundation awarded a $900,000 project grant to the University of California, San Diego to develop foundations, techniques, and frameworks for building end-to-end verified secure sandboxed systems from May 2022 through April 2026. This award falls under 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,...
This National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Federal Grant Program award of $319,197 to William Marsh Rice University, doing business as Rice University, supports the development of new programming techniques to enable more efficient and reliable Internet of Things (IoT) applications. The project aims to create: (i) high-level programming abstractions and languages to help IoT developers express complex multi-device application logic, (ii) formal...
This Project Grant award, with a total funding of $375,000.00, was provided by the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070). The award aims to simplify and automate the verification of high-performance distributed systems, which are crucial but complex. The project will develop new techniques, such as "message invariants" and "distributed ownership types," to make formal verification of real-world,...