Funding agency: Project title
(in reverse-chronological order of start date after Nov. 2022)

L3Harris: Software Defect Discovery
NSF: SHF: Small: E2R2--A Comprehensive Approach to Improve Simulation-based Testing of Autonomous Driving Systems
NSF: Collaborative Research: FMitF: Track II: Cross-Language Support for Runtime Verification
NSF: Collaborative Research: SaTC: TTP: Small: eSLIC: Enhanced Security Static Analysis for Detecting Insecure Configuration Scripts