About Me

Anand Balakrishnan

•   Email: anandbal [at] usc [dot] edu
•   CV
•   GitHub
•   DBLP
•   Google Scholar

I am a fourth year Computer Science PhD student at the University of Southern California. I am part of the CPS-VIDA group, and my advisor is Prof. Jyotirmoy Deshmukh. My research interests lie in the design and verification of controllers for cyber-physical systems.

My research involves:

• Incorporating formal methods in the design of controllers for autonomous systems. This includes:
  • Design of reward functions for reinforcement learning agents, given temporal logic task specifications.
• Fault detection and verification of perception-based control systems, especially in the context of autonomous vehicles.

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.