Internet Of Battlefield Things (Army Research Lab)
Abstract: In the future, military operations will rely less on human soldiers and more on interconnected technology, leveraging advancements in embedded systems and machine intelligence in order to achieve superior defense capabilities. The Internet of Battlefield Things will connect soldiers with smart technology in armor, radios, weapons, and other objects, to give troops “extra sensory” perception, offer situational understanding, endow fighters with prediction powers, provide better risk assessment, and develop shared intuitions. The initiative is a collaborative research alliance (CRA) between the Army Research Lab, academia, and industry. The research at SRI in this CRA is centered around Principles of Robust Learning and Inference.
Technical Director, NuSCI
My research interests include artificial intelligence, formal methods, machine learning and dynamical systems.
- CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems
- Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving
- Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting
- Detecting Trojaned DNNs using counterfactual attributions
- Dual-Key Multimodal Backdoors for Visual Question Answering