Projects

Quantum-Inspired Classical Computing (QuICC) (DARPA)

Symbiotic Design for Cyber Physical Systems (DARPA)

Trojans in Artificial Intelligence (IARPA)

Assured Autonomy (DARPA)

Internet Of Battlefield Things (Army Research Lab)

Quantum Computing and Quantum Machine Learning (IR&D)

Intent-Defined Adaptive Software (DARPA)

Self-Improving Cyber-Physical Systems (NSF CPS Small)

Duality-Based Algorithm Synthesis (NSF EAGER)

Technology to Review Online Videos for Education (NSF EAGER)