Appointed as the Chapter Secretary of the IEEE Denver Computer Science, Information Theory, and Robotics Society Last updated on Jul 23, 2022 Karan Muvvala Graduate Research Assistant Building safer and smarter robots using Game-theoretic approaches while leveraging techniques developed by the Formal methods community to provide safety-critical guarantees.