Funding

Current

NSF CNS-1446607 CPS Frontier “Collaborative Research bioCPS for Engineering Living Cells”, Role: lead PI (collaboration with MIT, Penn, and SRI)

DENSO Corporation: “Formal Methods for Learning, Monitoring, and Mitigation of Anomalies in Automotive Systems, Role: PI

NSF CPS- 1446151: Synergy: Collaborative Research: Efficient Traffic Management: A Formal Methods Approach, Role: PI (collaboration with UC Berkeley)

NSF CBET-0939511: “Emergent Behaviors of Integrated Cellular Systems” (EBICS) – Science and Technology Center (lead: MIT); BU sub-award: “Quantification and Synthesis of Emergent Behaviors in Networks of Locally Interacting Entities”

NSF NRI-1426907: “Formal Methods for Motion Planning and Control with Human-in-the-Loop”, Role: PI (single PI),

NSF CMMI-1400167: “Combining Optimality and Correctness in Control Systems”, Role: PI (single PI)

ONR N00014-14-1-0554: “Formal Methods for Learning, Monitoring, and Detection of Anomalous and Malicious Behaviors in Maritime Surveillance”, Role: PI (single PI),

ONR MURI 014-001-0303-5: “Utilizing Synthetic Biology to Create Programmable Micro-Bio-Robots”, Role: co-PI

ONR MURI N00014-10-10952: “Animal Inspired Robust Flight with Outer and Inner Loop Strategies” (subcontract from U. Washington), Role: co-PI

NSF CNS-1035588  “CPS: Medium: Collaborative Research:  Efficient Control Synthesis and Learning in Distributed Cyber-Physical Systems”, Role: PI

ONR MURI N00014-09-1051: “Smart Adaptive Reliable Teams for Persistent Surveillance (SMARTS)” (subcontract from MIT), Role: PI of the BU team

Past

NSF EF 1137900: “Collaborative Research: The Dynamics of the Innate Immune System: A Study of the Toll-Like Receptor (TLR) Network”, Role: PI

NSF CMMI 0928776: “A formal approach to the control of stochastic dynamical systems,” Role: co-PI

NSF CNS-0834260:  “A formal approach to control of hybrid systems”, Role: PI (Single PI)

AFOSR DURIP FA9550- 11-1-0292: “Instrumentation to Support Research on Provably Safe and Animal-Inspired Flight”, Role: PI

NSF IIS-0447721: “CAREER: Hierarchical abstractions for planning and control of robotic swarms”, Role: PI: (Single PI)

NSF IIS- 0924561: “REU Supplement for CAREER: Hierarchical abstractions for planning and control of robotic swarms”, Role: PI (Single PI)

AFOSR Young Investigator Award FA9550-09-1-0209: “Formal synthesis of control and communication strategies for teams of unmanned vehicles”, Role: PI (Single PI)

ARO W911NF-09-1-0088: “Specification languages and distributed control schemes for teams of unmanned vehicles”. Role: PI (single PI)

NIH R01 DE15989: “Role of Obesity in Infection”, Role: co-PI

NSF IIS-0822845: “REU Supplement for CAREER: Hierarchical abstractions for planning and control of robotic swarms”, Role: PI (Single PI)

NSF CNS-0410514: “Scalable algorithms for safety verification and reachability analysis of hybrid systems”, Role: PI

NSF CCF-0432070: “Collaborative Research: Rational Design of Synthetic Gene Networks using Formal Analysis of Hybrid Systems”, Role: PI

PA Dept of Health Research Formula Fund Grant: “Systems Biology Approach to the Understanding of Protein – Protein Interactions: Simulation, Control and Biological Validation”, Role: co-PI

NSFAFOSR ARO NIH  ONR