Skip to main content

Projects

Ongoing Projects

Demo screen showing the turbine forecast and the data hall prediction surface
Ongoing

Behind-the-Meter Energy Hub Dispatch for Data Centers

Data Center Behind-the-meter Energy Hub dispatch problem formulated as two interacting world models, one for the gas-turbine fleet and one for the AI data hall, planned jointly through a differentiable rollout for MPC and RL control.

Block diagrams comparing LoRA, a low-rank update beside frozen attention weights, with the HRM adapter, a small state space model beside the frozen MLP
Ongoing

Provable Safety and Efficient Memory for Language Models

Using control theory to make language-model components predictable enough for safety-critical deployment: safety classifiers that can prove their decisions, and fine-tuning adapters whose memory can be analyzed and compressed with guarantees.

System architecture: SLA documents flow through ingestion and a ReAct agent framework into a structured rules database, which labels historical sensor data and drives a per-customer prediction model whose streamed outputs serve operations, finance and compliance teams
Ongoing

Contract-Aware SLA Compliance Monitoring

AI agents turn colocation SLA contracts into verifiable compliance rules, and a per-customer attention model watches power and temperature data to flag likely breaches 30 minutes before they happen.

Completed Projects

2D slice of a UAV collision-avoidance value function, with the zero level set drawn in black
Completed

Unmanned Aerial Vehicle Safe Autonomous Operations

Safety guarantees for autonomous drones and air taxis: learned reachable sets that build collision avoidance into the controller, and camera-based 3D models from neural radiance fields for safe path planning.

Aircraft trajectory passing through three radio-jammer regions
Completed

State Estimation under Communication Uncertainties

Estimators that keep tracking accurate when sensor data is lost in transit, including losses that cluster in predictable regions, and that let a network of sensors agree on one estimate. Demonstrated on aircraft tracking.