Anand Balakrishnan

I am a Ph.D. Student in the Department of Computer Science at the University of Southern California. I am advised by Prof. Jyotirmoy Deshmukh and part of the CPS-VIDA group. My research interests lie in the intersection of Formal Methods, Control Theory, and Artificial Intelligence.

I am currently working on projects involving:

• Synthesis and verification of controllers for autonomous systems by combining techniques from formal methods (like temporal logics) and data-driven controller synthesis (namely reinforcement learning).
• Game theoretical analysis of systems involving autonomous multi-agent systems.
• Coordination between heterogenous robot teams to perform tasks efficiently.

Before this, I received my B.S. in Computer Engineering from the University at Buffalo in 2018, where I also worked with Prof. Karthik Dantu at the Distributed Robotics and Networked Embedded Systems Lab.