Robotics

We focus on creating algorithms to enable robots to see, understand, and safely act in real-world settings. Among our directions are vision–language-based robot learning, world models for predicting future outcomes, planning in changing environments, and safety-aware CBF control. Through these and related efforts, we aim to build robots that can reliably handle diverse, open-ended tasks alongside people.

Selected Publications

Systems & Control

Our research develops advanced control methods for a broad spectrum of systems, spanning areas such as multi-agent networks, nonlinear and resilient control, and decentralized large-scale architectures. By bridging rigorous theoretical analysis with practical applications—including safe and learning-based control—we aim to solve fundamental challenges in the coordination of next-generation dynamic systems.

Selected Publications

Secure Cyber-Physical Systems

Our research advances security for Cyber-Physical Systems (CPS) through resilient defensive methods and intelligent monitoring. Work in this area includes real-time anomaly detection for networks and embedded controllers, threat detection for CPS components, and methods to strengthen critical infrastructure against cyber-physical attacks. We leverage static/dynamic program analysis, system telemetry (e.g., hardware performance counters), and ML-driven observability to detect, localize, and respond to security threats in complex CPS environments

Selected Publications

Trustworthy & Resilient AI

This area is dedicated to providing formal, provable guarantees for the stability, safety, and resilience of complex AI and machine learning systems. We establish theoretical limits and develop practical methods for certified robustness in deep neural networks (DNNs), including defending against backdoor attacks and providing provably robust perceptual similarity metrics. A key focus is on applying formal verification techniques to complex systems like segmentation models using randomized smoothing and diffusion models. Furthermore, we develop switching and re-initialization strategies to enhance resilience of CPS against attacks, guaranteeing the mean-square boundedness of system states through formal analysis.

Selected Publications