2 Grants
2020
Collaborative Research: FMitF: Track I: Property-specific Hardware-oriented Formal Verification Modules for Embedded Systems
Guo, Xiaolong
National Science Foundation (NSF), Direct For Computer & Info Scie & Enginr, Division of Computing and Communication Foundations (ID: 2019310), $250,000USD, 2020-10-01 -- 2023-09-30
 
Collaborative Research: PPoSS: Planning: S3-IoT: Design and Deployment of Scalable, Secure, and Smart Mission-Critical IoT Systems
Guo, Xiaolong
National Science Foundation (NSF), Direct For Computer & Info Scie & Enginr, Division of Computing and Communication Foundations (ID: 2028910), $50,000USD, 2020-10-01 -- 2021-09-30