Cyrus Neary


Graduate Research Assistant

Cyrus Neary is pursuing a PhD in computational science, engineering, and mathematics within The Oden Institute for Computational Engineering and Sciences at The University of Texas at Austin. Prior to his PhD studies, Cyrus received a BASc degree in engineering physics with a minor in honors mathematics from The University of British Columbia. He is interested in studying how prior knowledge can be incorporated into reinforcement learning (RL) systems, and how such information may be used for the formal verification of said systems, particularly in the context of safety-critical engineering applications. His recent research has focused on compositional RL systems; complex (or multi-agent) systems are decomposed into their constituent components to simplify learning, while theoretical guarantees are developed to assure that compositions of such components satisfy system-level requirements.

Contact Information