Zengjie Zhang

I work on risk-aware verification and control of safety-critical autonomous systems, focusing on understanding and formalizing their safety and performance boundaries under uncertainty. My background spans robust control, observer design, reinforcement learning, and formal methods. My research across these areas has been driven by a consistent and persistent thread: how to reason about safety in systems that operate beyond idealized assumptions, such as under disturbance, partial observability, imperfect policies, and complex interaction environments.