Assured, Robust, & Interactive Autonomous (ARIA) Systems

My research group, ARIA Systems, focuses on developing novel theoretical foundations and computational frameworks to enable reliable and intelligent autonomy. The main theme of our work is safety and soundness, and the emphasis is on safe autonomy through correct-by-construction algorithmic approaches. We are housed in the Department of Aerospace Engineering Sciences at the University of Colorado Boulder, and our research builds on knowledge developed in control theory, formal methods, statistical reasoning, machine learning & AI to address real-world challenges in robotics and safety-critical systems.

For more information, please see ARIA Systems Group website: