Appointed as the Chapter Secretary of the IEEE Denver Computer Science, Information Theory, and Robotics Society

Karan Muvvala
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.