Funded Projects
NSF
- active • 2024–2028SPHERE CPS Enclave: Reconfigurable Testbed for CPSNSF Mid-Scale RI
- active • 2022–2025FMitF: Formal Verification & Implementation Stack for PLCsNSF FMitF
- completed • 2021–2024NCS: Memory via Real-world Integration of Brain & IoT Perception (NSF 2435642)NSF NCS (NeurIoT)
NIH
- active • 2024–2029Neuroscience-in-the-Wild: Memory & Sensor Fusion (NIH 10792324)NIH
DARPA
- completed • 2020–2021 (18 months)SMELL-CPS: Symbolic Math Expressions from Low-level Logic in Cyber-Physical Systems (ReMATH AIE)DARPA