NIH R01 DE15989: "Role of Obesity in Infection", PI: S. Amar (Boston University)

ONR MURI: "Smart Adaptive Reliable Teams for Persistent Surveillance (SMARTS)" (subcontract from MIT), PI: D. Rus (MIT), PI of the BU team: C. Belta (Boston University)

ARO: "Specification languages and distributed control schemes for teams of unmanned vehicles", PI: C. Belta (Boston University)

AFOSR YIP: "Formal synthesis of control and communication strategies for teams of unmanned vehicles", PI: C. Belta (Boston University)

NSF CNS: “A formal approach to control of hybrid systems”, PI: C. Belta (Boston University)

NSF IIS: "CAREER: Hierarchical Abstractions for Planning and Control of Robotic Swarms", PI: C. Belta (Boston University)

NSF EHS: "Scalable algorithms for safety verification and reachability analysis of hybrid systems", PI: C. Belta (Boston University)

NSF EMT: "Collaborative Research: Rational Design of Synthetic Gene Networks using Formal Analysis of Hybrid Systems", PIs: C. Belta (Boston University) and R. Weiss (Princeton University)

NSF IIS-0822845: “REU Supplement for CAREER: Hierarchical abstractions for planning and control of robotic swarms”, PI: Calin Belta (Boston University)

PA Dept of Health Research Formula Fund Grant: “Systems Biology Approach to the Understanding of Protein – Protein Interactions: Simulation, Control and Biological Validation”, PI: M. Lechner (Drexel University)