Anand Balakrishnan
PHD Candidate
Los Angeles, California, United States
Summary
👤
Senior🎓
Top SchoolAnand Balakrishnan is a Computer Science PhD candidate at USC specializing in designing and verifying controllers for cyber-physical systems, with a focus on integrating formal methods into reinforcement learning and time-sensitive, safety-critical controller synthesis. He combines academic research with hands-on industry experience—developing runtime monitors for perception-based control at TRI, prototyping Level 2 autonomy at INDI EV, and building sensor-consistency monitoring frameworks at Siemens. His work emphasis on using temporal logic to shape RL reward design and runtime monitors for fault detection reflects a practical bridge between theory and deployable autonomy. With an 11-year engineering background that began in embedded robotics and Wi‑Fi‑augmented SLAM during his undergrad, he brings both low-latency perception experience and systems-level thinking to autonomy safety. Based in Los Angeles, Anand’s projects consistently aim to make learning-enabled systems auditable and certifiable for real-world deployment.
11 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Southern CaliforniaHigh School, Science with Economics, 94.4%, High School, Science with Economics, 94.4% at The Lawrence School, LovedaleBachelor’s Degree, Computer Engineering, 3.724 GPA, Bachelor’s Degree, Computer Engineering, 3.724 GPA at University at Buffalo
Hindi, Tamil, English
Stackoverflow
21reputation
90reached
5answers
0questions
Github Skills (115)
toolbox10
stable-baselines10
gossip10
visual-studio10
robotics10
plugin10
language-server10
python-bindings10
monitoring9
api9
python9
language-server-protocol9
cmake9
windows9
vim9
Programming languages (13)
Github contributions (5)
anand-bala/dotfiles
Apr 2017 - Oct 2022
Contributions:428 commits, 330 pushes, 6 branches in 5 years 7 months
anand-bala/mytexmf
Mar 2019 - Apr 2026
Contributions:38 pushes, 1 branch in 7 years 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.