 |
Anand Balakrishnan (CPS-VIDA Lab) My research interests lie in the intersection of formal methods and modern AI/ML, specifically in the design and verification of neurosymbolic systems. I focus on the design and verification of controllers for learning-enabled cyber-physical systems, including: (1) Incorporating formal methods in the design of controllers for autonomous systems, (2) Fault detection and verification of perception-based control systems, especially in the context of autonomous vehicles. |
 |
Aniruddh Puranic (CPS-VIDA Lab) The theme of my research is Neuro-Symbolic AI for safe and assured autonomy, which mainly includes the topics: (1) Reinforcement and imitation learning for autonomous systems, (2) Formal methods-enabled foundation models for verifiable autonomy, (3) Human-centered, safe and explainable AI, (4) Multi-agent and lifelong learning with safety guarantees. |
 |
Shipeng Liu (RoboLAND Lab) My research aims to transform legged robots into environment-aware co-scientists for planetary and Earth field exploration. I developed proprioception-driven terrain sensing that turns legs into in-situ probes, enabling real-time risk estimation and adaptive locomotion beyond the limits of vision or LiDAR. In parallel, I advance embodied AI and LLM-assisted teaming frameworks that model scientists’ decision-making and provide adaptive, context-aware support. |
 |
J. Diego Caporale (RoboLAND Lab) My focus is transitional quadruped locomotion with a focus on the effect of internal core degree of freedoms on increasing agility of new behaviors. To this end, I work on various NASA-funded, multi-university, multi-displinary teams/projects moving toward more robust, valuable, and autonomous robotic missions on the Moon, Mars, and beyond. |