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 reasoning techniques to verify application correctness and resource consumption bounds, and (iii) a runtime system to manage the reliable deployment and execution of IoT applications. This award also includes the development of educational materials and software tools to make IoT programming more accessible to a broad audience. The project period runs from February 1, 2024 to January 31, 2029.
Generated 8/13/24, 3:42 AM