Period, Funding agency, Project title
(in reverse-chronological order of end date after Nov. 2022)

Jul. 24 - Jun. 27, NSF, SHF: Small: E2R2--A Comprehensive Approach to Improve Simulation-based Testing of Autonomous Driving Systems
Sep. 23 - Feb. 26, NSF, Collaborative Research: FMitF: Track II: Cross-Language Support for Runtime Verification
Jan. 25 - Dec. 25, L3Harris, Software Defect Discovery
Oct. 20 - Sep. 25, NSF, Collaborative Research: SaTC: TTP: Small: eSLIC: Enhanced Security Static Analysis for Detecting Insecure Configuration Scripts